[opencl]

Not available quite yet, but several companies have recently announced RK3588 based systems that are something of a middle ground between the existing options. Up to 16GB RAM and somewhat higher CPU performance than the Pi for $100-300ish depending on the board and RAM amount.

[unregistereddev]

I've had disappointing experiences with kernel support for Rockchip systems. Hopefully things have improved since I last experimented (it's been about 3 years), but I really struggled to get stable drivers running for RK3399 and RK3328 chipsets.

[bpye]

I’ve been keeping up with these. I’ve seen mentions of UEFI support but is this platform able to fully qualify as ServerReady?

Having fast chips is nice, but I really want to have an ARM platform that I can just throw any Linux, BSD, Windows, etc image at.