I’m contemplating to buy a Radxa E25 to replace my Intel 6305E router with a smaller device. It will run NixOS with systemd-boot and therefore depends on UEFI.
I’ve browsed the forum and found several hints that suggest Radxa E25 (CM3I) can boot from UEFI and run Linux, but no definitive answer.
FreeBSD for RK3568? mentions support for RK3568 and RADXA CM3.
FreeBSD for RK3568? says If you speak about FreeBSD on E23/E25 and about RTL8125BG, 2.5 GbE support then we need to add PCIe3 support to EDK2 UEFI.
and FreeBSD for RK3568? UEFI binary images are here: https:// personalbsd org/download/UEFI-RK356x/
UEFI / EDK2 on the Rock 5B says This is an SD card image for Radxa E25.
All apparently the result of the hard work done by @SleepWalker 
Do
and
include support for the compute module CM3I that powers Radxa E25?
If Radxa E25 can boot UEFI with Linux, will a mainline Linux kernel suffice?
edit: new user is only allowed to include two links
edit2: am allowed more links now 