Hello, On my RPI3b+ boot successfully both RC4 and RC5 images from http://ftp.freebsd.org/pub/FreeBSD/releases/ISO-IMAGES/13.0/ . Booting made from microSD card. Needed dmesg? regards