Re: [EXT] no HDMI on rpi4b NetBSD 10.1

[Steve Rikli <sr%genyosha.net@localhost>]

On Tue, Jul 15, 2025 at 08:16:56AM +0000, John Klos wrote:
> > >  In general, is there a way to check what version a file from a given
> > >  UEFI firmware bundle is (e.g. from commandline or similar), other than
> > >  "just knowing" which .zip file you downloaded?
> > 
> > Good question. I do not know...
> 
> strings -8 /boot/RPI_EFI.fd
> 
> Mine is pretty old and shows:
> 
> Built : 16:56:46, Jan  7 2022
> v2.6(release):

Thanks; I'd tried that on some of the .dtb and a couple other files that
came along in the arm64.img /boot/ dir, but didn't immediately see
things that looked like version strings. Maybe it's mostly just the .fd
file which has it.

I did find this in /boot/EFI/BOOT/bootaa64.efi :

NetBSD/evbarm efiboot (arm64)
2.13 (Mon Dec 16 13:08:11 UTC 2024)

... but since it didn't seem to correspond with the version numbers on
UEFI zipfiles I saw, I didn't think much of it at the time, and also
figured it was from NetBSD rather than a 3rd party.

Fwiw the wiki (https://wiki.netbsd.org/ports/evbarm/raspberry_pi/) refers
to that file as "UEFI firmware", which muddled my thinking a bit about
what is in the arm64.img. INSTALL doc calls it "AArch64 EFI bootloader",
the latter may be more accurate?

At least that page includes a link to the UEFI git repository, which I
didn't notice at the time -- perhaps needing a full UEFI bundle should
also be mentioned in the NetBSD INSTALL doc or similar; though if other
evbarm systems are U-Boot, maybe it's not the best place either.

sr.