From 2c7f53616e3e462c5b2c36de3cee200a22e570e5 Mon Sep 17 00:00:00 2001 From: wires Date: Wed, 2 Apr 2025 11:35:24 -0400 Subject: [PATCH] slight edit --- content/zosimos/workflow.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/content/zosimos/workflow.md b/content/zosimos/workflow.md index 24b2378..bbb7a9c 100644 --- a/content/zosimos/workflow.md +++ b/content/zosimos/workflow.md @@ -16,7 +16,7 @@ I need to set up a good workflow for building and testing. ## Building the Kernel -For this go around, I decided to write my kernel in Zig. I've gotten too used to +For this go around, I decided to write my kernel in Zig.[^name] I've gotten too used to the conveniences of a modern language to go back to C, and while I love Rust dearly I've found myself frustrated by having to use shell scripts and make to take care of the parts of getting to a bootable image that Cargo doesn't concern @@ -82,6 +82,8 @@ a little strange in that it reads most of its firmware from the boot drive instead of from flash on the board. Normally we'd just download these firmware files ourselves, but we can do better! +[^name]: Hence the name taken from [my recent reading][visions], which + conveniently starts with Z and has OS in it (twice!). [^2]: The filename `kernel8.img` is important since it tells the board to boot up in 64 bit mode. This can be overridden in [`config.txt`][7] if you really want a different filename. @@ -89,6 +91,7 @@ files ourselves, but we can do better! [1]: https://git.wires.systems/wires/zosimos/src/commit/8466e9b4d2fbca85d53d8dadc87914b4766c43de/src [code]: https://git.wires.systems/wires/zosimos/src/commit/b6b96f651f060ae6cff9e4e184799bb354ce6d07 [7]: https://www.raspberrypi.com/documentation/computers/config_txt.html +[visions]: https://www.3ammagazine.com/3am/three-visions-of-zosimus/ ## Fetching Firmware