A suitable installer image for an 8G rPI4?

From: Joseph Koshy <jkoshy_at_freebsd.org>
Date: Sun, 26 Mar 2023 21:44:10 UTC
Greetings,

Could you recommend a boot image version for an 8G rpi4?

I tried both -CURRENT
(FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20230316-cee09bda03c8-261544.img.xz)
and the 13.1 release (FreeBSD-13.1-RELEASE-arm64-aarch64-RPI.img.xz).
With both these boot images the boot process does not get to the
FreeBSD boot loader -- the process stops at the initial color splash
screen.

Is this a known issue?  Any recommerndations on how to debug the boot process?

Thanks,
Joseph Koshy