FreeBSD support for Nitrogen 8M Plus SOM and EVK carrier board

Hello,

I have a Boundary devices Nitrogen 8M Plus SOM installed on a Nitrogen 8M Plus EVK carrier board, and I would like to get FreeBSD running on this system.  It appears that there is support for the imx8 processor in the FreeBSD source tree, e.g.

"commit      94bc2117b4adaf7101cc412f4277e5812ad61ae2 (patch)
Add i.MX 8M Quad support
- Add CCM driver and clocks implementations for i.MX 8M
- Add GPC driver for iMX8
- Add clock tree for i.MX 8M Quad
- Add clocks support and new compat strings (where required) for existing i.MX 6 UART, I2C, and GPIO drivers
- Enable aarch64-compatible drivers form i.MX 6 in arm64 GENERIC kernel config
- Add dtb/imx8 kernel module with DTBs for Nitrogen8M and iMX8MQ EVK

With this patch both Nitrogen8M and iMX8MQ EVK boot with NFS root up to multiuser login prompt"

and in u-boot
https://github.com/edwinlaiktc/iMX8/blob/master/uboot/README

iMX8/README at master · edwinlaiktc/iMX8 · GitHub
iMX8mq-evk board, uboot, kernel, busybox combination - iMX8/README at master · edwinlaiktc/iMX8
github.com


I found the following aarch64 FreeBSD13 images ftp site which doesn't explicitly identify a disk image for the imx8 processor (though perhaps the :
https://download.freebsd.org/ftp/releases/arm64/aarch64/ISO-IMAGES/13.1/
Index of /ftp/releases/arm64/aarch64/ISO-IMAGES/13.1/ - FreeBSD<https://download.freebsd.org/ftp/releases/arm64/aarch64/ISO-IMAGES/13.1/>
File Name ↓ File Size ↓ Date ↓ ; Parent directory/--CHECKSUM.SHA256-FreeBSD-13.1-RELEASE-arm64-aarch64: 1251: 2022-May-12 11:05: CHECKSUM.SHA256-FreeBSD-13.1-RELEASE-arm64-aarch64-PINE64
download.freebsd.org
I also found a wiki.freebsd.org site for the Raspberry Pi (which also refers to the aarch64 ftp release site):
https://wiki.freebsd.org/arm/Raspberry%20Pi

Can anyone point me to or provide me with information on installing and booting a suitable disk image?

Thanks for your help,
Victor