Re: adding UEFI to NetBSD /boot/ [was Re: no HDMI on rpi4b NetBSD 10.1]

On Wed, Jul 16, 2025 at 10:31:58PM -0700, Steve Rikli wrote:
> For my method #2 I removed everything in /boot/ and simply unpacked the
> same .zip archive into it, then reboot. Same results as above until it
> ran out of boot options -- this time the rpi4 did *not* boot NetBSD, but
> instead gave up:
> 
>     BdsDxe: No bootable option or device was found.
>     BdsDxe: Press any key to enter the Boot Manager Menu.

If the RPi UEFI firmware conforms to the UEFI spec the only additional
think you should need at this point is to copy /usr/mdec/bootaa64.efi
from NetBSD to /boot/EFI/bootaa64.efi.

Martin