@@ -31,4 +31,12 @@ For the Raspberry Pi, the boot assets contain the usual set of files:
-`start.elf` and related files (fix-ups, debug, etc) loaded on all platforms
-`config.txt` file describing boot configuration
-`overlays/` directory
-`kernel.img` (as named by `config.txt`)
\ No newline at end of file
-`kernel.img` (as named by `config.txt`)
### EFI+GRUB
This part is currently a draft.
EFI/GRUB systems boot assets are EFI GRUB application binary. Ideally the configuration file is hard-coded into the binary and no configuration file is loaded from the ESP partition.
This may change with secure boot enabled, as there may be additional required binaries.
