wires/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

slight edit

Browse source
This commit is contained in:
wires 2025-04-02 11:35:24 -04:00
parent cf1a3013a9
commit 2c7f53616e
Signed by: wires
SSH key fingerprint: SHA256:9GtP+M3O2IivPDlw1UY872UPUuJH2gI0yG6ExBxaaiM
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
content/zosimos/workflow.md
View file

@ -16,7 +16,7 @@ I need to set up a good workflow for building and testing.
## Building the Kernel ## 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 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 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 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 instead of from flash on the board. Normally we'd just download these firmware
files ourselves, but we can do better! 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 [^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 up in 64 bit mode. This can be overridden in [`config.txt`][7] if you really
want a different filename. 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 [1]: https://git.wires.systems/wires/zosimos/src/commit/8466e9b4d2fbca85d53d8dadc87914b4766c43de/src
[code]: https://git.wires.systems/wires/zosimos/src/commit/b6b96f651f060ae6cff9e4e184799bb354ce6d07 [code]: https://git.wires.systems/wires/zosimos/src/commit/b6b96f651f060ae6cff9e4e184799bb354ce6d07
[7]: https://www.raspberrypi.com/documentation/computers/config_txt.html [7]: https://www.raspberrypi.com/documentation/computers/config_txt.html
[visions]: https://www.3ammagazine.com/3am/three-visions-of-zosimus/
## Fetching Firmware ## Fetching Firmware