Ampere is the main company with that kind of setup (with full EDK II BIOS and UEFI), but they still target server / HEDT, not desktop, and certainly not the SBC

Ampere is the main company with that kind of setup (with full EDK II BIOS and UEFI), but they still target server / HEDT, not desktop, and certainly not the SBC/hobby space. I asked Raspberry Pi about the likelihood of seeing UEFI support this year and it didn't sound like it was a priority, at least not for the Pi 5 generation. Would still love to see it, as it would let distro maintainers focus less on a few "premiere" Arm boards and be able to just have one distro for aarch64.