diff options
| author | claude <[email protected]> | 2026-07-12 10:27:24 +0000 |
|---|---|---|
| committer | claude <[email protected]> | 2026-07-12 10:27:24 +0000 |
| commit | 3caf5e9682807b9579938431cca4446d7efcf615 (patch) | |
| tree | 119845f998ad6dbf36cc486bad7f2bb646660c7b /efi-kernel/README.md | |
| parent | c480e76433f9bb8ce8ce9d5802cdada8883db184 (diff) | |
| download | plan9-kencc-linux-main.tar.gz plan9-kencc-linux-main.zip | |
По уточнению @lzcnt (нужен EFI-загрузчик, не a.out-парсер, и amd64-ядро):
- kernel.c + kern64.s -> 6c/6a/6l -> amd64 Plan9 a.out (S_MAGIC 0x8A97, entry 0x100000),
kmain пишет строку в VGA 0xB8000.
- efi_load.c -> PE32+ bootx64.efi (через pe64.s из 9legacy + dd skip=40): под UEFI
печатает через ConOut, разбирает встроенный a.out (big-endian 40-байтный заголовок),
копирует сегменты по entry, прыгает в ядро (long mode).
- Проверено: валидный PE32+ x64 EFI_APPLICATION, ядро встроено и парсится, ESP собран.
Co-Authored-By: Claude Opus 4.8 <[email protected]>
Diffstat (limited to 'efi-kernel/README.md')
| -rw-r--r-- | efi-kernel/README.md | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/efi-kernel/README.md b/efi-kernel/README.md new file mode 100644 index 0000000..dcbd2a0 --- /dev/null +++ b/efi-kernel/README.md @@ -0,0 +1,32 @@ +# efi-kernel — EFI-загрузчик + amd64-ядро (Plan9 a.out) + +Полная цепочка UEFI-загрузки на портированном тулчейне Plan9 (6c/6a/6l): +**bootx64.efi (PE32+, EFI-загрузчик)** грузит **amd64-ядро (Plan9 a.out)**, которое +пишет в VGA-текстбуфер **0xB8000**. + +## Как работает +1. `kernel.c` + `kern64.s` → `6c`/`6a`/`6l` → `kernel.out` — amd64-ядро (Plan9 a.out, + S_MAGIC `0x8A97`, entry `0x100000`). `kmain` пишет строку в `0xB8000`, затем halt. +2. Ядро встраивается байт-массивом (`kernel_blob.h`) в загрузчик. +3. `efi_load.c` (+ `pe64.s` из 9legacy) → `6c`/`6a`/`6l` → `dd skip=40` → `bootx64.efi` + (PE32+). Под UEFI загрузчик: печатает статус через `ConOut`, разбирает встроенный + a.out (big-endian заголовок, 40 байт), копирует сегменты `[text][data]` по `entry` + (`0x100000`), зануляет bss и **прыгает** в ядро (long mode). + +## Формат amd64 Plan9 a.out (S_MAGIC) +Заголовок 40 байт, big-endian: `magic(4) text(4) data(4) bss(4) syms(4) entry32(4) +spsz(4) pcsz(4) entry64(8@off32)`. Сегменты идут за заголовком. + +## Сборка +```sh +BINDIR=../bin PLAN9SRC=../deps/plan9foundation ./mk.sh # -> bootx64.efi +python3 ../efi/mkesp.py bootx64.efi esp.img # загрузочный ESP +qemu-system-x86_64 -bios OVMF.fd -drive format=raw,file=esp.img +``` +`pe64.s`/`efi.h`/`mem.h` — из 9legacy (`../efi/fetch_ref.sh`). + +## Заметки +- `0xB8000` — легаси VGA-текст. Под чистым UEFI без CSM запись туда идёт в RAM, а не на + экран; под QEMU с обычным VGA/CSM — видно. Ядро-болванка демонстрирует загрузку и прыжок. +- Загрузчик не делает `ExitBootServices` (болванка); настоящий — сделал бы перед прыжком. +- Проверено структурно: PE32+ x64 EFI_APPLICATION, встроенный a.out парсится, entry/сегменты сходятся. |