# 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/сегменты сходятся.