# Raspberry Pi 5 native boot media

What goes on the SD card for the native (non-UEFI) boot path (FABRIC-3.md §IV):

- `config.txt` — checked in here, done (§IV.3 item 6).
- `bcm2712-rpi-5-b.dtb` — Raspberry Pi firmware's own stock DTB; not built by this
  project, copied from the firmware release the card is otherwise built from.
- `kernel_2712.img` — **does not exist yet.** `config.txt` names it, but no build target
  in `Makefile.starkernel` currently emits a raw image by this name at load address
  0x80000 — item 1 (entry stub) explicitly scoped a separate-image build target as future
  work, not part of that item. Building this file is the remaining prerequisite before
  item 7 (assembling the card) is possible.