Re: Raspberry 4 installation?

[mlelstv%serpens.de@localhost (Michael van Elst)]

wiz%NetBSD.org@localhost (Thomas Klausner) writes:

>Btw, I first thought I'd have to replace /boot/netbsd.img, but that
>didn't change a thing; replacing /netbsd as on amd64 worked though.
>When is /boot/netbsd.img used?

It's for the regular boot process without UEFI.

But here we have in /boot/config.txt:

armstub=RPI_EFI.fd

that tells the firmware (start4.elf) to load EFI instead of a
kernel.  EFI then searches for /EFI/BOOT/bootaa64.efi on any
filesystem it can read.  And our bootaa64.efi fetches the kernel
from the root filesystem.