RPI4 support status

[Alex Samorukov]

Hi.

I was trying to run FreeBSD on RPI4 (4Gb version) and a bit lost which
image should i use.

I started with FreeBSD-13.0-BETA3-arm64-aarch64-RPI.img.xz. It actually
starts to boot, but loader cant find kernel. It seems that /boot is
empty. Is it bug? Should i report it?

Next i tried to get image from
https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/.
12.2 image just showing black screen, 14.0 snapshot seems to be able to
boot, but i see that kernel is compiled with WITNESS and i am not sure
that living on CURRENT is a good idea. Do we have enough support in
STABLE already? Why there are no stable snapshots?

I want to use RPI4 as a home server (domoticz, java ubnt controller, may
be some other small stuff) connected using ethernet, so WIFI is not
needed. Happy to contribute to improve the support, as current situation
is a big discouraging.