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

On Wed, Jul 16, 2025 at 11:06:10PM -0700, Steve Rikli wrote:
> > 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.

sorry, wrong path, your's is correct.

> 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 ?).

The file is the NetBSD UEFI bootloader, it has sane defaults and will
find the kernel usually, but it also reads hints where to find the kernel
from /boot.cfg.

> 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.

This is an implementation detail of the UEFI firmware you use (and where
it stores its configuration).q

So best bet is to go to the setup menu via <ESC> and configure it there.

Martin