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 04:32:09PM +0200, Martin Husemann wrote:
> On Thu, Jul 17, 2025 at 07:23:53AM -0700, Steve Rikli wrote:
> > ... but not for evbarm, yes? I.e. boot.cfg is for i386 and amd64 only?
> 
> No, it is used for evbarm too. But this is a step later, it is only
> used by bootaa64.efi, and the first step is to tell the firmware (i.e.
> UEFI) to boot that (and e.g. not try to netboot first).

OK; does boot.cfg(8) need an update to indicate that?

  BUGS
     Support for boot.cfg is currently for NetBSD/i386 and NetBSD/amd64 only.
     It is hoped that its use will be extended to other appropriate ports that
     use the boot(8) interface.


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:

  \\-__,------,___.
   \\        __,---`  NetBSD/evbarm efiboot (arm64)
    \\       `---,_.  Revision 2.13 (Mon Dec 16 13:08:11 UTC 2024)
     \\-,_____,.---`
      \\
       \\
        \\

Press return to boot now, any other key for boot prompt
booting netbsd - starting in 0 seconds.     
> ?
commands are:
acpi [{on|off}]
boot [dev:][filename] [args]
     (ex. "hd0a:\netbsd.old -s"
dev
dtb [dev:][filename]
dtoverlay [dev:][filename]
dtoverlays [{on|off|reset}]
initrd [dev:][filename]
rndseed [dev:][filename]
modules [{on|off|reset}]
load <module_name>
unload <module_name>
ls [hdNn:/path]
gop [mode]
mem
menu
reboot|reset
setup
userconf <command>
version
help|?
quit
> consdev
unknown command

Was I just doing it wrong?

Thanks,
sr.