| ... | ... | @@ -32,3 +32,11 @@ For the Raspberry Pi, the boot assets contain the usual set of files: |
|
|
|
- `config.txt` file describing boot configuration
|
|
|
|
- `overlays/` directory
|
|
|
|
- `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. |
|
|
\ No newline at end of file |
