GhostBSD-Arm64 is running on Raspi4B Re: arm64 versions of FreeBSD
Yes, we have HDMI Audio working on GhostBSD-Arm64 for Raspberry Pi 4B 8Gb or 4Gb or 2Gb. You can play YouTube Videos on your HDMI TV screen without using Headphones. You can build your own FreeBSD kernel from source /usr/src and add these same patch files. https://ghostbsd-arm64.blogspot.com/2024/01/hdmi-audio-sound-patches-into-ghostbsd.html
I posted URL links for those that are interested to read more information about FreeBSD.org/where RPI Arm64 image
https://ghostbsd-arm64.blogspot.com/2023/12/how-to-install-ghostbsd-arm64-into-usb.
html
https://ghostbsd-arm64.blogspot.com/2023/12/zfs-boot-on-root-setup-for-usb-ssd.html
https://twitter.com/l_finster34982
https://bsdnow.tv/545 HDMI Audio sound patches into GhostBSD source code, My blog mentioned in http://BSDnow.tv #545 podcast 12:10-17:05
https://ghostbsd-arm64.blogspot.com/2024/01/hdmi-audio-sound-patches-into-ghostbsd.html?sc=1707523557050#c7947451479546182814 Blog post mentioned in BSDNow #545
https://t.me/c/1228836331/2448 my blog comment
mentioned in Arm Open Source comment. Enjoy
https://forums.FreeBSD.org/threads/raspberry-pi-5-status.91406/post-642889
You can boot FreeBSD on the Pi 5 with: https://github.com/worproject/rpi5-uefi
Display, USB and SD work out-of-the-box.
I just gave that a go and was pleasantly surprised how easy it was.
Downloaded the most recent FreeBSD 15 aarch64 RPI image
Put it onto a microSD card (I used the Raspberry Pi Imager on my mac, but I assume that dd would do the same)
Tried booting that, didn't work, as expected
Got out a USB flash drive, download the firmware image from the rpi5-uefi githib repo (the zip file from the link below "2. Download the firmware image")
Extracted the 3 files from the zip file to the USB drive
Plugged in the USB drive and booted.
Presto, FreeBSD.
OK, no ethernet, no wifi, fan at full speed.
https://forums.FreeBSD.org/threads/raspberry-pi-5-status.91406/post-641494 Raspberry Pi 5 Status post
https://forums.freebsd.org/forums/embedded.11/ FreeBSD Embedded Forums posts
https://forums.raspberrypi.com/viewforum.php?f=85 FreeBSD Operating System on Raspberry Pi forums posts
https://forums.raspberrypi.com/viewtopic.php?t=343233 My Entry about booting FreeBSD on Raspberry Pi 4B hardware.