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

[Vincent DEFERT <vincent.defert%posteo.net@localhost>]

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.