RPI4 support status

[Alex Samorukov]

Thank you for all replies.

I think my problem was that RPi comes with a very old firmware. While
installing latest raspbian it was now updated and FreeBSD able to boot.
Moreover, it detects USB storage (SSD via USB->SATA) and correctly boots
from it.

I think it would be great to add this to wiki.

On 20.02.2021 12:13, Alex Samorukov wrote:
> 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?