Thanks for your reply. Unfortunately I don’t think the Orange Pi 5 Plus is mainline Linux ready, or at least the RK3588 is not there yet so it seems to me that it’s more of a hacky board. I don’t think the Zimaboard is open source but it seems pretty good although I personally would buy a coreboot compatible small form factor PC if I went x86.