Full threadbpye·For completeness sake - uboot can also boot EFI binaries, though upstream won’t support GOP video on RK3588, and is also device tree only so no Windows, just Linux and BSDs.https://docs.u-boot.org/en/latest/develop/uefi/uefi.htmlView on HN