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

 https://www.aliexpress.com/item/1005010157378785.html  looking at 8 arm core board with 16gb dram Download Raspberry Pi image file 16.0-CURRENT using curl command and checksum md5 the image [kliktel-pc FreeBSD ]# curl -O https://download.freebsd.org/snapshots/arm64/aarch64/ISO-IMAGES/16.0/FreeBSD-16.0-CURRENT-arm64-aarch64-RPI-20260224-168 22dac32ab-284159.img.xz  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current                                 Dload  Upload   Total   Spent    Left  Speed 100  577M  100  577M    0     0  2458k      0  0:04:00  0:04:00 --:--:-- 2344k [kliktel-pc ...

Using Linux to download FreeBSD 14.2 image and dd write image to USB flash drive stick at /dev/sdb or to /dev/mmcblk0   microSD card. First get the Linux shell script image file from this location. wget -c http://ghostbsdarm64.hopto.org/packages/write_using_Linux_a_freebsd_img_dd_to_sdX.sh   --2025-05-06 21:26:07--  http://ghostbsdarm64.hopto.org/packages/write_using_Linux_a_freebsd_img_dd_to_sdX.sh Resolving ghostbsdarm64.hopto.org (ghostbsdarm64.hopto.org)... 67.171.248.137 Connecting to ghostbsdarm64.hopto.org (ghostbsdarm64.hopto.org)|67.171.248.137|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 6795 (6.6K) [application/octet-stream] Saving to: ‘write_using_Linux_a_freebsd_img_dd_to_sdX.sh’ write_using_Linux_a_freebsd_img_dd_to 100%[=======================================================================>]   6.64K  --.-KB/s    in 0.02s    2025-05-06 21:26:07 (266 KB/s) - ‘write_using...

 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...