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

Ramiro Aceves <[email protected]> Wed, 23 Jul 2025 09:38:04 +0200

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


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.