FWIW, there is a port of EDK2 to the RK3588, which is what powers this board. Most of the peripherals work. So that's nice. But the thing is, it isn't UEFI so much as the device-tree/ACPI distinction you need to be mindful of. ARM systems use both methods (whereas everything on x86 is ACPI.) You can use either DTBs (kernel configuration option) or ACPI to boot Linux on this device, though. https://github.com/edk2-porting/edk2-rk3588
Comments
FWIW, there is a port of EDK2 to the RK3588, which is what powers this board. Most of the peripherals work. So that's nice. But the thing is, it isn't UEFI so much as the device-tree/ACPI distinction you need to be mindful of. ARM systems use both methods (whereas everything on x86 is ACPI.) You can use either DTBs (kernel configuration option) or ACPI to boot Linux on this device, though. https://github.com/edk2-porting/edk2-rk3588