Use 3 other patch file reviews, to add patches to /usr/src source code tree
D36431, D37878, D37879 Recompile source code with the 3 patch files included, create a new image or FreeBSD ARM64 kernel to test on the Raspberry Pi 4B, or 400 Keyboard model.
pkg install mpg123 to test playing a .MP3 file and check for sound to come out the TV Monitor speakers.
one problem, I experienced with compile of FreeBSD source code before using patch files. was the display formatting of variable number:
change %lld -----> to %uld to comply with clang --warning checking errors. change long long decimal to unsigne long decimal
I was working to get files to compile with these commands:
"make buildkernel KERNCONF=GENERIC-VCHIQ -DNO_CLEAN" but the clang --warning_cast_int_to_unsigned errors would appear. I have not been able to physically get sound out from the HDMI Audio speakers on the HDMI TV input. So just corrected errors for compile to complete and build a working FreeBSD ARM64 kernel, with sound out from the HDMI monitor Audio Speakers on the HDMI TV input cable. Also on the Raspberry Pi 4B, test for headphones out the 5/16 audio analog plug
Sysctl hw.snd.default_unit=0
Read step by step patch install and compile make buildworld, make buildkernel, make installkernel instructions at [[ https://reviews.freebsd.org/F13700 | F13700 set instructions ]]
Looking forward to enable Raspberry Pi 64bit Audio to function correctly on Raspberry Pi 3B,4B BCM2711,400 Keyboard, and new Raspberry Pi 5 BCM2712