RPI4 support status

[Herbert J. Skuhra]

On Sat, Feb 20, 2021 at 12:13:57PM +0100, Alex Samorukov wrote:
> 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?

No it isn't. You can check the image with mdconfig:

# mdconfig -a -u 0 -f FreeBSD-13.0-BETA3-arm64-aarch64-RPI.img
# mount /dev/md0s2a /mnt2
# find /mnt2/boot -maxdepth 1 |wc -l
      44
# find /mnt2/boot/kernel -maxdepth 1 | wc -l
     648
# file /mnt2/boot/kernel/kernel
/mnt2/boot/kernel/kernel:     ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /red/herring, BuildID[sha1]=531a9483ea83ca3691c602250151b72ead464644, not stripped

My Raspberry Pi 4 (4GB) runs FreeBSD 13.0-STABLE (updated from
stable/12). But I have to use an old version of u-boot.bin.

What error do you get?

-- 
Herbert