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

[Steve Rikli <sr%genyosha.net@localhost>]

On Thu, Jul 17, 2025 at 07:48:21AM +0200, Martin Husemann wrote:
> 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.

Yeah, that matches my experience; I touched on this later in my (long!)
email message:

> I believe /boot/cmdline.txt is not required for UEFI -- my rpi4b boots
> NetBSD without it, so presumably the NetBSD "/" root filesystem location
> and kernel are specified elsewhere (/boot/EFI/BOOT/bootaa64.efi ?).

I'd still like to understand where console is specified, though; and how
to change it. Aside from using the UEFI firmware manager, I mean, if it's
possible.

sr.