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

On Tue, Jul 22, 2025 at 07:23:26PM +0200, Ramiro Aceves wrote:
> El 22 de julio de 2025 18:38:46 CEST, Steve Rikli <[email protected]> escribió:
> >On Tue, Jul 22, 2025 at 12:26:59PM +0200, Martin Husemann wrote:
> 
> >> Once UEFI runs, everything later is common again and should be well
> >> documented.
> >
> >Agreed. Once I had NetBSD itself installed and running on the sysdisk,
> >post-install configuration for rpi4 was nearly identical to my other 
> >i386 and amd64 systems. Pleasantly so.  :-)
> 
> Just to clarify it , the only method to have HDMI output in the RPi4 is via UEFI firmware?

That was my experience, yes.

sr.