FreeBSD Review D43399 , Can someone help complete this review. My Raspi4B development workstation is broken, So No Arm64 testing available

D43399 Review  comment from Christos, about the 3 patch files D37878 
D37879 D36431   I wrote step by step instructions in this post 
https://reviews.freebsd.org/F75131370
https://reviews.freebsd.org/D43399

christos added a comment.Jul 31 2025, 5:48 AM
Comment Actions

Please rebase all relevant patches, including this one, on top of main, 
stack them properly, and also re-generate and update the diffs with full 
context: 
https://wiki.freebsd.org/Phabricator#Create_a_Revision_via_Web_Interface

Read step by step patch install and compile make buildworld, make 
buildkernel, make installkernel instructions at Review F75131370 step by 
step instructions, more than a PNG image. please read

Can you find another person/developer to test those 3 patch files 
against the main source code and create the -99999  difference?

Here are the step by step instructions: 
https://reviews.freebsd.org/F75131370

So look,  I am over my head of knowledge to complete the requested task 
for D43399 Review of providing a single diff, rebase all relevant 
patches, on top of main.

I am working to build another FreeBSD Arm64 development workstation 
consisting of a Raspberry Pi 500 Keyboard with 8gb dram memory and a USB 
3.0 SSD Samsung T7 to provide the disk file space.

Can you help get these 3 patch files into the kernel source code at 
/usr/src and provide a RPI 4 image that has that VCHIQ device driver 
source code compiled  into the binary image?


https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=274804  Bug I wrote 
about including the VCHIQ 3 patch files from Marcos Devesas Campos to 
provide HDMI sound output.

https://reviews.freebsd.org/D43399

Yes, I know FreeBSD provides great networking software,  but If a new 
user wishes to listen to a YouTube video played over the HDMI Television 
speakers, how does the current binary RPI 4 image provide that HDMI 
Audio sound feature?  It does NOT.  A work around is to plug in a USB 
headphone to a RPI 4 USB port, that does work.  Another work around is 
to move to a working Operating System that actual produces HDMI audio: 
Raspberry Pi Operating System.   I prefer to see FreeBSD arm support 
improve for Raspberry Pi 4B, 400  BCM2711 hardware improve.   and yes 
the other multiple serial ports in the rpi4B, need support  Serial Port 3 ??

The patch files are available.  The step by step instructions are 
provided in the above post.  https://reviews.freebsd.org/F75131370

Can one person help finish the work for D43399 Review, please? My 
current Aarch64 development hardware is broken.  I am working to build 
another Aarch54 FreeBSd development workstation.  Thank you,   Fred L. 
Finster   https://GhostBSD-arm64.blogspot.com