daniel/danos
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

moving efi code to boot

Browse Source
This commit is contained in:
daniel
2026-07-05 10:01:01 +01:00
parent ae1552414d
commit 7c3cffb337
10 changed files with 15 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/arch.md
+1 -1
View File
@@ -53,7 +53,7 @@ There are really two independent questions, and it's worth not conflating them:
- **CPU architecture** (x86_64 vs AArch64): instructions, MMU, interrupts →
`src/arch/<cpu>/`.
- **Boot protocol** (UEFI vs Raspberry Pi firmware + device tree): handled
*separately*, because loaders are their own binaries. `src/efi.zig` builds
*separately*, because loaders are their own binaries. `src/boot/efi.zig` builds
`BOOTX64.efi`, a distinct executable from the kernel ELF. On a Pi there is no
separate loader at all — the firmware jumps straight into the kernel with a
device-tree pointer, so that entry work would live in the AArch64 arch code.