Re: RPI4 install trip report

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

gdt%lexort.com@localhost (Greg Troxel) writes:

>  # ls -l /boot/EFI/BOOT/bootaa64.efi
>  -r-xr-xr-x  1 root  wheel  196056 Jan 18 23:49 /boot/EFI/BOOT/bootaa64.efi

That is our bootloader that is run by the UEFI firmware.

>  -rwxr-xr-x  1 root  wheel       155 Jan 18 23:49 config.txt

That is the config file for RPI firmware. It either loads a kernel
or something like UEFI. The latter is usually a file named RPI_EFI.fd.

Here are details:

https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4



Other systems have their UEFI firmware in different places, usually
some fixed blocks on a boot medium (i.e. no filesystem) or stored in
flash storage.