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

renaming run-efi to run-x86-64

Browse Source
This commit is contained in:
daniel
2026-07-03 19:45:44 +01:00
parent 21b9691486
commit 99d6bf5ce3
4 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/efi.md
+1 -1
View File
@@ -25,7 +25,7 @@ esp/EFI/BOOT/BOOTX64.efi <- the "removable media" default for x86-64
That's exactly the layout `build.zig` assembles. It builds `src/efi.zig` for the
`uefi` target, installs it to `esp/EFI/BOOT/BOOTX64.efi`, and drops the kernel ELF
at `esp/danos`. The `run-efi` step then points QEMU at OVMF (UEFI firmware for
at `esp/danos`. The `run-x86-64` step then points QEMU at OVMF (UEFI firmware for
virtual machines) and presents that `esp/` directory to the guest as a FAT drive.
The firmware finds `BOOTX64.efi` and runs it — that's our `main()`.