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

On Thu, Jul 17, 2025 at 08:10:24AM -0700, Steve Rikli wrote:
> OK; does boot.cfg(8) need an update to indicate that?

Yes!

> Also, before setting Preferred console=Serial in UEFI, I did try
> creating /boot.cfg with "consdev=com0,115200" but it didn't change the
> console behavior -- i.e. boot messages and control was on HDMI.
> 
> I figured I was stuck using UEFI to select console, after I saw
> 'consdev' wasn't available from the boot loader:

Yeah, that was only "fixed" for amd64 very recentish, but since with
evbarm the firmware usually offers a sane way to configure serial / dual
console, there is no pressing need to force things like on amd64 (where
only "server class" machines usually offer some kind of serial support).

So overall: I would stick with the UEFI configuration options for
console, but you can use boot.cfg to e.g. boot kernels from a different
partition, with a different name, or force root on some other partition/
device.

Martin