GhostBSD ARM64 porting from x86 code base (RISC-V in the future??)

Test Mount MBR ExFAT factory partition of a Samsung T7 500GB USB SSD disk for a Raspberry Pi 500 Keyboard, or a Raspberry Pi 5 Hardware with FreeBSD O/S Test mount Samsung T7 USB SSD normal EXFAT 7 partition as from the factory. freebsd@generic:~ % mount /dev/ufs/rootfs on / (ufs, local, soft-updates) devfs on /dev (devfs) /dev/msdosfs/EFI on /boot/efi (msdosfs, local, noatime) tmpfs on /tmp (tmpfs, local) freebsd@generic:~ % mount /dev/ufs/rootfs on / (ufs, local, soft-updates) devfs on /dev (devfs) /dev/msdosfs/EFI on /boot/efi (msdosfs, local, noatime) tmpfs on /tmp (tmpfs, local)   freebsd@generic:~ % cd /mnt/usb freebsd@generic:/mnt/usb % ls freebsd@generic:/mnt/usb % ls -la total 8 drwxr-xr-x  2 root wheel 512 Nov 26 06:42 . drwxr-xr-x  7 root wheel 512 Nov 26 06:42 .. freebsd@generic:/mnt/usb % mount /dev/ufs/rootfs on / (ufs, local, soft-updates) devfs on /dev (devfs) /dev/msdosfs/EFI on /boot/efi (msdosfs, local, noatime) tmpfs on /tmp (tmpfs...

 Supporting source code for HDMI Audio in the BCM2712 Raspi5 Hardware.  Use the Linux source code as a help for missing Broadcom Documentation. Ronald Klop says in his wiki about running FreeBSD 15.0 CURRENT  on his Raspberry pi 5 hardware: https://wiki.freebsd.org/RonaldKlop/Raspberry%20Pi%205%2016GB https://wiki.freebsd.org/arm/Raspberry%20Pi%205   Setup of FreeBSD on Raspi 5 BCM2712 Hardware Grok  answer for Raspi5 HDMI Audio:     https://x.com/i/grok/share/HrunSIXyDIFTsBnK5eRhb75Om Text Copy of the Grok Answer: As of March 22, 2025, FreeBSD support for the Raspberry Pi 5 (BCM2712) is still evolving, and full HDMI audio functionality is not yet natively available in the mainline FreeBSD source tree for this specific hardware. However, there are ongoing efforts within the FreeBSD community to improve support for the Raspberry Pi 5, including its HDMI audio hardware. Below, I’ll outline the current state, point you to relevant resources, and sugg...