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

[Ramiro Aceves <ea1abz%gmail.com@localhost>]

El 23/7/25 a las 8:24, Vincent DEFERT escribió:
> On 23/07/2025 07:47, Ramiro Aceves wrote:
> > netbsd-raspa4$ file netbsd.img
> > netbsd.img: Linux kernel ARM64 boot executable Image, little-endian, 
> > 4K pages
> >
> > note "Linux" there....
>
> This is because U-Boot was originally intended for Linux, and this 
> string is hard-coded in u-boot-tools.
> But of course, the supplied kernel is executed regardless of what it 
> implements.

Thanks so much Vincent for clarifying that.
Regards.
Ramiro.