colinsane.bootpart-edk2-rpi

unmanaged files to place in /boot on a Raspberry Pi 400 system. these files are not enough on their own to boot a kernel, but only to boot an EFI application. best paired with systemd-boot (via `bootpart-systemd-boot`), or perhaps u-boot (untested).

Name

bootpart-edk2-rpi

Platforms

• aarch64-linux

Defined

Source