EDK2 w/ Raspberry Pi 4
GitHub - pftf/RPi4: Raspberry Pi 4 UEFI Firmware Images
ブートエントリを追加したいとき，
UEFI Shell
から追加しないとなぜか永続化されない