> The Raspberry Pi has No BIOS / UEFI
This isn't really that strange for an ARM SoC.
https://www.theregister.com/2023/11/28/microsoft_opens_sourc...