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

Vincent DEFERT <[email protected]> Wed, 23 Jul 2025 06:24:48 +0000

Newsgroups	gmane.os.netbsd.ports.arm
Message-ID	<[email protected]>

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.