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

Martin Husemann <[email protected]> Thu, 17 Jul 2025 16:32:09 +0200
Newsgroups gmane.os.netbsd.ports.arm
Message-ID <[email protected]>
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