Any good alternative to Raspberry for Arm64?

[Stefan Parvu]

> `have otherRK3399 with M.2-slot(Rock960(no more available on the market) while direct nvme -connection-support by 
> u-boot&FreeBSD is quite complicate , to say  it kindly( Rock960 boots from nvme but hangs @ mountroot> (nvme, nda, nvd seem to have problems) . By the way, I doubt that RK3399 is faster than RPI4(tested by build world).
> powerd doesn’t scale correctly with RK3399 to 1800 for the big of big.LITTLE , so it’s to set manually…..

So to summarize:

these are the SBC supported by FreeBSD: https://wiki.freebsd.org/arm64#Single_Boards <https://wiki.freebsd.org/arm64#Single_Boards>

I agree part with Ian, RBPI is a mixed bag. Many things are not working (Wifi, BLE) but for our product RBPI 3B/3B+ has been working without a problem outdoor and indoors.

Is there any hope to see Wifi / BLE working on this board RBPI 3B/4B ?

Are there any other SBC supported by FreeBSD 13/CURRENT ?

Are there any other ARM64 industrial boards (1/2/4GB RAM, RTC, -40C - 80C) supported by FreeBSD ?

Is NetBSD a better choice than FreeBSD for ARM64 SBC ? 

Thanks,
Stefan