> The Raspberry Pi has No BIOS / UEFI
This isn't really that strange for an ARM SoC.
https://0ink.net/posts/2024/2024-07-01-pi-uefi-boot.html
https://u-boot.org/