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

[Martin Husemann <martin%duskware.de@localhost>]

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

Martin