Raspberry Pi 4B users, Do you use HDMI Audio output through TV/Monitor Speakers? vchiq_core.c has compile failures. Sorry about first HTML post to this group mail list.

From: Fred G. Finster <fred_at_thegalacticzoo.com>
Date: Wed, 30 Aug 2023 05:17:37 UTC
Original Badly Formmated post can be delated: 
https://lists.freebsd.org/archives/freebsd-arm/2023-August/002989.html

# update source code

git -C pull /usr/src --ff-only

# compile

make -j4 buildkernel KERNCONF=GENERIC-VCHIQ

# THE above command, errors out
#  The below command,  builds  buildkernel

make -j4 buildkernel KERNCONF=GENERIC

you have suggestions.  details about errors , see my blog 
ghostbsd-arm64.blogspot.com  What suggestions that work can you share.

https://ghostbsd-arm64.blogspot.com/2023/08/vchiqcorec-freebsd-140-current-has.html 
vhciq_core.c compile error

Original Error Posted here. 
https://lists.freebsd.org/archives/freebsd-arm/2023-August/002885.html

good luck on your projects and thanks

Fred Finster
971-718-9144
fred@thegalacticzoo.com  my email