Hi All!
You can test FreeBSD on Radxa E25 and Radxa Rock-3A.
For the Radxa E25, I created a test FreeBSD boot image.
It can simply be written to an SD card and run.
Bootable SD card image for E25
FreeBSD-aarch64-14.0-CURRENT-Radxa-E25-20230511.img.xz
Bootable SD card image for Rock-3A
FreeBSD-aarch64-14.0-CURRENT-Rock-3A-20230531.img.xz
UEFI binary images are here
Tianocore EDK2 UEFI repository here. https://github.com/S199pWa1k9r/rk356x-uefi
Generic USB flash image:
FreeBSD-aarch64-14.0-CURRENT-GENERIC-RK356X-20230516.img.xz
EDIT:
pcie30 works in UEFI, so it is possible to boot the system directly from NVMe on Rock-3A.