Visual Review, then Test compile, make buildkernel; make installkernel,
pkg install mpg123,
mpg123 testfile.mp3, does sound come out the HDMI Audio speakers, or the analog headphones 5/16 Audio Jack, or both at the same time?. Verify screen and audio setting choices in the boot directory file /boot/config.text
pkg search vlc
pkg install vlc
vlc test_movie.mp4
Or use the Falkon Browser or Firefox browser to play https://youtube.com/c/robonuggie RoboNuggie Raspberry Pi videos as a test.
[[ https://reviews.freebsd.org/D37878 | https://reviews.freebsd.org/D37878 VCHIQ BCM2835 Audio patch file 02]] Marcos Devesas Campos Audio code patch files worked beautifully on Raspberry Pi 4B running FreeBSD 14.0-CURRENT back in September 7, 2022.
[[https://reviews.freebsd.org/D37879 | https://reviews.freebsd.org/D37879 VCHIQ BCM2711 Audio patch file 03 ]]
[[https://reviews.freebsd.org/D36431 | https://reviews.freebsd.org/D36431 VCHIQ BCM2711 Audio patch file 01]]
[[ https://reviews.freebsd.org/D36431 | https://reviews.freebsd.org/D36431 Marcos Devesas Campos Audio code patch file 01 Sept 3 2022 ]]
[[ https://ghostbsd-arm64.blogspot.com/2022/09/freebsd-140-compiling-kernel-for.html | Compiling FreeBSD 14.0 Kernel instructions]]
[[ https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=274804 | Patch KERNCONF=GENERIC-VCHIQ enable HDMI AUDIO on Raspberry Pi 4B,400,3B ]]
also use the correct HDMI screen setup information in the MSDOS config.txt file in the boot folder.
The BCM2712 Raspberry Pi 5 hardware is different than the BCM2711 Raspberry Pi 4 hardware. Maybe someone will create an HDMI audio device driver for the Raspberry Pi 5 hardware?
VCHIQ circle documentation [[ https://circle-rpi.readthedocs.io/en/44.4/devices/audio-devices.html | Raspberry Pi 4B, 400 VCHIQ Audio subsystem ]]
RUST PI [[ https://github.com/RusPiRo/ruspiro-vchiq | RUST source code to a VCHIQ device driver]]
BALENA.IO VCHIQ PID number [[ https://blog.balena.io/raspberry-pi-gpu-for-containers/ | Raspberry Pi GPU source code for containers, ]]