Getting RPi4b (8GB) to boot from a microSD card?

[Torfinn Ingolfsen]

Update,

On Sat, 16 Jan 2021 22:31:41 +0100
Torfinn Ingolfsen <torfinn.ingolfsen at getmail.no> wrote:

> Is there a trick to getting a Pi4B (8 GB) to boot FreeBSD from a microSD card?
> So far I have tried
> FreeBSD-13.0-ALPHA1-arm64-aarch64-RPI-20210114-7ae27c2d6c4-255938.img.xz - prints some text on the screen, then starts over, endless cycle

ok, with updated firmware (same way as the other images) this image now boots. Unfortunately, usb doesn't work, so no local keyboard. ssh works fine
root at generic:~ # freebsd-version -ku
13.0-ALPHA1
13.0-ALPHA1
root at generic:~ # uname -a
FreeBSD generic 13.0-ALPHA1 FreeBSD 13.0-ALPHA1 #0 main-c255938-g7ae27c2d6c4: Thu Jan 14 07:56:52 UTC 2021     root at releng1.nyi.freebsd.org:/usr/obj/usr/src/arm64.aarch64/sys/GENERIC  arm64


HAND
-- 
Torfinn Ingolfsen <torfinn.ingolfsen at getmail.no>