Date: Sun, 19 Oct 2025 18:03:11 -0700 From: Adrian Chadd <adrian@freebsd.org> To: Fred Finster <fred@thegalacticzoo.com>, freebsd-arm@freebsd.org Subject: Re: D43399 FreeBSD Review, enable VCHIQ HDMI Audio subsystem for BCM2711 Raspberry Pi 4B, 400 adding 3 patch files. Message-ID: <CAJ-Vmok58UMbNjDBbSH0yQtGdkU6mPLjtwD8eF0VP9DifOh%2B4g@mail.gmail.com> In-Reply-To: <CAJ-Vmokd1YihyU=q13YgEwDFtvu4J2PU34gUC6=AiMT02WF2Jw@mail.gmail.com> References: <50ea8813-2fb5-4c4f-81b6-7457fc3ca10d@thegalacticzoo.com> <CAJ-Vmokd1YihyU=q13YgEwDFtvu4J2PU34gUC6=AiMT02WF2Jw@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
--0000000000006842fe06418ca674 Content-Type: text/plain; charset="UTF-8" Ok, I see why everyone's like "This is all over the place", sigh. :-) So if I update and get these three diffs landed: * D36431 * D37838 * D37839 What will that get me on a rpi 4b? What I'd like to do is treat those three as a checkpoint, get them cleaned up and landed, and then move onto whatever's next. (Including wanting whatever videocore is on this platform, figure out how to read the HDMI status/EDID, etc, etc.) Thanks, -adrian On Sun, 19 Oct 2025 at 17:04, Adrian Chadd <adrian@freebsd.org> wrote: > hi! > > i have a rpi4 up and going now, so now I'd like to go through and start > addressing each of these! > > > > -adrian > > > On Thu, 11 Sept 2025 at 23:11, Fred Finster <fred@thegalacticzoo.com> > wrote: > >> Hello fellow FreeBSD Arm users, >> >> To be complete, I usually place too many URLs in a short email. But >> then "Too Long Didn't Read" TLDR symptom shows up unannounced. If you >> are interested in videos and audios playing out on your own Television >> Speakers, please read the following few paragraphs. >> >> I wish to see the 14.3-RELEASE and 15.0-CURRENT supported RPI binary >> images on the https://FreeBSD.org website, to actually support HDMI >> audio out through the TV speakers, out of the box (OOTB). Review >> D43399 was my attempt to show how to use Marcos Devesas Campos 3 patch >> files in reviews D36431, D37878, D37879 to patch the FreeBSD Kernel >> source /usr/src and support the VCHIQ subsystem of the Broadcom BCM2711 >> Raspberry Pi 4B, 400 >> and (BCM2835) Raspberry Pi 3B+ SOCs, running 32 bit armv7 software. ( >> yes, I know armv7 was moved to Tier 2 in FreeBSD support.) >> >> URLS to view: >> FreeBSD RPI image. downloaded here is without the VCHIQ subsystem HDMI >> Audio Sound device driver. >> https://www.freebsd.org/where/ >> https://download.freebsd.org/releases/ISO-IMAGES/14.3/ >> >> https://download.freebsd.org/releases/ISO-IMAGES/14.3/FreeBSD-14.3-RELEASE-arm64-aarch64-RPI.img.xz >> >> https://download.freebsd.org/releases/ISO-IMAGES/14.3/CHECKSUM.SHA512-FreeBSD-14.3-RELEASE-arm64-aarch64-RPI >> >> https://download.freebsd.org/releases/ISO-IMAGES/15.0/ >> >> https://download.freebsd.org/releases/ISO-IMAGES/15.0/FreeBSD-15.0-ALPHA1-arm64-aarch64-RPI-20250906-0b3d82579a01-280099.img.xz >> >> https://download.freebsd.org/releases/ISO-IMAGES/15.0/CHECKSUM.SHA512-FreeBSD-15.0-ALPHA1-arm64-aarch64-RPI-20250906-0b3d82579a01-280099 >> >> How can that binary RPI image be improved? Who can or what update of >> this build process can be modified to include HDMI audio support from >> the BCM2711 VCHIQ subsystem hardware? Yes, having the SDIO Cy43455 >> wifi driver written will help out, to use a WIFI connection from the >> raspberry Pi to the local WIFI WAN network. >> >> https://reviews.freebsd.org/D43399 This is the 3 patch files to add the >> VCHIQ HDMI Audio subsystem device driver to the kernel /usr/src >> codehttps:// >> >> https://reviews.freebsd.org/D36431 vchiq: update printf-s to more >> architecture-independent format specifiers >> https://reviews.freebsd.org/D37878 arm64: Add support to vchiq and >> bcm2835_audio (plus some fixes) >> https://reviews.freebsd.org/D37879 vchiq: add compat_freebsd32 ioctls >> and respective datatypes Authored by devesas.campos_gmail.com on Dec 26 >> 2022, 8:15 PM. >> >> Fred Finsters tested set of written steps to follow for using the 3 >> patch files: https://reviews.freebsd.org/F75131370 >> or https://reviews.freebsd.org/F75131370#30 >> >> Can someone with a Raspberry Pi 4B, or 400 Keyboard run through these >> steps and prove that VCHIQ subsystem HDMI Audio output works on the TV >> Speakers? or work on the Raspberry Pi 4B 3.5mm output jack analog sound. >> >> Then can we include this VCHIQ HDMI Audio source code in the FreeBSD >> kernel source code and also in the created 14.3 or 15.0 RPI Images? >> >> Mike Karels, a strong Arm64 FreeBSD supporter, has passed on. He might >> have competed this work. Can we incorporate this tested, useful source >> code in the FreeBSD Kernel and in the created binary image to download >> and burn into a MicroSD card or into a USB Flash drive stick to boot >> FreeBSD. I prefer to have a supported Raspberry Pi binary image that >> includes HDMI Audio available for others to download and use. >> >> Is there a different method to support the Raspberry Pi 5, 500 BCM2712 >> and RP1 chip hardware with updated VCHIQ device driver? >> https://x.com/i/grok/share/z5megTW93mZt9B5fioCz7Zzzv Grok notes >> differences between BCM2711 and BCM2712 in the VCHIQ driver software. >> >> Your thoughts, suggestions, comments are welcome about supporting VCHIQ >> subsystem HDMI Audio for Raspberry Pi (BCM2711) 4B, 400, RPI (BCM2712) >> 5, 500, (BCM2835) RPI3 RPI3+ 64 bit hardware ? >> >> pss: RUSPIPRO is Rust supported VCHIQ hardware device driver >> software. URL link here: https://github.com/RusPiRo There was a >> VCHIQ bare metal driver here somewhere. >> >> >> --0000000000006842fe06418ca674 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div>Ok, I see why everyone's like "This is all o= ver the place", sigh. :-)</div><div><br></div><div>So if I update and = get these three diffs landed:</div><div><br></div><div>* D36431</div><div>*= D37838</div><div>* D37839</div><div><br></div><div>What will that get me o= n a rpi 4b? What I'd like to do is treat those three as a checkpoint, g= et them cleaned up and landed, and then move onto whatever's next.</div= ><div>(Including wanting whatever videocore is on this platform, figure out= how to read the HDMI status/EDID, etc, etc.)</div><div><br></div><div>Than= ks,</div><div><br></div><div><br></div><div><br></div><div>-adrian</div><di= v><br></div></div><br><div class=3D"gmail_quote gmail_quote_container"><div= dir=3D"ltr" class=3D"gmail_attr">On Sun, 19 Oct 2025 at 17:04, Adrian Chad= d <<a href=3D"mailto:adrian@freebsd.org">adrian@freebsd.org</a>> wrot= e:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0= .8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"l= tr">hi!<div><br></div><div>i have a rpi4 up and going now, so now I'd l= ike to go through and start addressing each of these!</div><div><br></div><= div><br></div><div><br></div><div>-adrian</div><div><br></div></div><br><di= v class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Thu, 11 Se= pt 2025 at 23:11, Fred Finster <<a href=3D"mailto:fred@thegalacticzoo.co= m" target=3D"_blank">fred@thegalacticzoo.com</a>> wrote:<br></div><block= quote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1= px solid rgb(204,204,204);padding-left:1ex">Hello fellow FreeBSD Arm users,= <br> <br> To be complete,=C2=A0 I usually place too many URLs in a short email. But <= br> then "Too Long Didn't Read"=C2=A0 TLDR=C2=A0 symptom shows up= unannounced.=C2=A0 If you <br> are interested in videos and audios playing out on your own Television <br> Speakers, please read the following few paragraphs.<br> <br> =C2=A0=C2=A0I wish to see the 14.3-RELEASE and 15.0-CURRENT supported RPI b= inary <br> images on the <a href=3D"https://FreeBSD.org" rel=3D"noreferrer" target=3D"= _blank">https://FreeBSD.org</a>; website, to actually support HDMI <br> audio out through the TV speakers, out of the box (OOTB).=C2=A0=C2=A0=C2=A0= =C2=A0 Review <br> D43399 was my attempt to show how to use Marcos Devesas Campos 3 patch <br> files in=C2=A0 reviews D36431, D37878, D37879 to patch the FreeBSD Kernel <= br> source /usr/src and support the VCHIQ subsystem of the Broadcom BCM2711 <br= > Raspberry Pi 4B, 400<br> and (BCM2835) Raspberry Pi 3B+=C2=A0 SOCs, running 32 bit armv7 software. (= <br> yes, I know armv7 was moved to Tier 2 in FreeBSD support.)<br> <br> URLS to view:<br> FreeBSD RPI image. downloaded here is without the VCHIQ subsystem HDMI <br> Audio Sound device driver.<br> <a href=3D"https://www.freebsd.org/where/" rel=3D"noreferrer" target=3D"_bl= ank">https://www.freebsd.org/where/</a><br>; <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/14.3/" rel=3D"n= oreferrer" target=3D"_blank">https://download.freebsd.org/releases/ISO-IMAG= ES/14.3/</a><br> <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/14.3/FreeBSD-14= .3-RELEASE-arm64-aarch64-RPI.img.xz" rel=3D"noreferrer" target=3D"_blank">h= ttps://download.freebsd.org/releases/ISO-IMAGES/14.3/FreeBSD-14.3-RELEASE-a= rm64-aarch64-RPI.img.xz</a><br> <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/14.3/CHECKSUM.S= HA512-FreeBSD-14.3-RELEASE-arm64-aarch64-RPI" rel=3D"noreferrer" target=3D"= _blank">https://download.freebsd.org/releases/ISO-IMAGES/14.3/CHECKSUM.SHA5= 12-FreeBSD-14.3-RELEASE-arm64-aarch64-RPI</a><br> <br> <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/15.0/" rel=3D"n= oreferrer" target=3D"_blank">https://download.freebsd.org/releases/ISO-IMAG= ES/15.0/</a><br> <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/15.0/FreeBSD-15= .0-ALPHA1-arm64-aarch64-RPI-20250906-0b3d82579a01-280099.img.xz" rel=3D"nor= eferrer" target=3D"_blank">https://download.freebsd.org/releases/ISO-IMAGES= /15.0/FreeBSD-15.0-ALPHA1-arm64-aarch64-RPI-20250906-0b3d82579a01-280099.im= g.xz</a><br> <a href=3D"https://download.freebsd.org/releases/ISO-IMAGES/15.0/CHECKSUM.S= HA512-FreeBSD-15.0-ALPHA1-arm64-aarch64-RPI-20250906-0b3d82579a01-280099" r= el=3D"noreferrer" target=3D"_blank">https://download.freebsd.org/releases/I= SO-IMAGES/15.0/CHECKSUM.SHA512-FreeBSD-15.0-ALPHA1-arm64-aarch64-RPI-202509= 06-0b3d82579a01-280099</a><br> <br> How can that binary RPI image be improved?=C2=A0 Who can or what update of = <br> this build process can be modified to include HDMI audio support from <br> the BCM2711=C2=A0 VCHIQ subsystem hardware?=C2=A0 Yes, having the SDIO Cy43= 455 <br> wifi driver written will help out, to use a WIFI connection from the <br> raspberry Pi to the local WIFI WAN network.<br> <br> <a href=3D"https://reviews.freebsd.org/D43399" rel=3D"noreferrer" target=3D= "_blank">https://reviews.freebsd.org/D43399</a>=C2=A0 This is the 3 patch f= iles to add the <br> VCHIQ HDMI Audio subsystem device driver to the kernel /usr/src codehttps:/= /<br> <br> <a href=3D"https://reviews.freebsd.org/D36431" rel=3D"noreferrer" target=3D= "_blank">https://reviews.freebsd.org/D36431</a>=C2=A0=C2=A0 vchiq: update p= rintf-s to more <br> architecture-independent format specifiers<br> <a href=3D"https://reviews.freebsd.org/D37878" rel=3D"noreferrer" target=3D= "_blank">https://reviews.freebsd.org/D37878</a>=C2=A0=C2=A0 arm64: Add supp= ort to vchiq and <br> bcm2835_audio (plus some fixes)<br> <a href=3D"https://reviews.freebsd.org/D37879" rel=3D"noreferrer" target=3D= "_blank">https://reviews.freebsd.org/D37879</a>=C2=A0=C2=A0 vchiq: add comp= at_freebsd32 ioctls <br> and respective datatypes Authored by <a href=3D"http://devesas.campos_gmail= .com" rel=3D"noreferrer" target=3D"_blank">devesas.campos_gmail.com</a> on = Dec 26 <br> 2022, 8:15 PM.<br> <br> Fred Finsters tested set of written steps to follow for using the 3 <br> patch files:=C2=A0=C2=A0=C2=A0=C2=A0 <a href=3D"https://reviews.freebsd.org= /F75131370" rel=3D"noreferrer" target=3D"_blank">https://reviews.freebsd.or= g/F75131370</a><br> or=C2=A0 <a href=3D"https://reviews.freebsd.org/F75131370#30" rel=3D"norefe= rrer" target=3D"_blank">https://reviews.freebsd.org/F75131370#30</a><br>; <br> Can someone with a Raspberry Pi 4B, or 400 Keyboard run through these <br> steps and prove that VCHIQ subsystem HDMI Audio output works on the TV <br> Speakers? or work on the Raspberry Pi 4B 3.5mm output jack analog sound.<br= > <br> Then can we include this VCHIQ HDMI Audio source code in the FreeBSD <br> kernel source code and also in the created 14.3 or 15.0 RPI Images?<br> <br> Mike Karels, a strong Arm64 FreeBSD supporter, has passed on.=C2=A0 He migh= t <br> have competed this work.=C2=A0 Can we incorporate this tested, useful sourc= e <br> code in the FreeBSD Kernel and in the created binary image to download <br> and burn into a MicroSD card or into a USB Flash drive stick to boot <br> FreeBSD.=C2=A0 I prefer to have a supported Raspberry Pi binary image that = <br> includes HDMI Audio available for others to download and use.<br> <br> Is there a different method to support the Raspberry Pi 5, 500 BCM2712 <br> and RP1 chip hardware with updated VCHIQ device driver?<br> <a href=3D"https://x.com/i/grok/share/z5megTW93mZt9B5fioCz7Zzzv" rel=3D"nor= eferrer" target=3D"_blank">https://x.com/i/grok/share/z5megTW93mZt9B5fioCz7= Zzzv</a>=C2=A0 Grok notes <br> differences between BCM2711 and BCM2712 in the VCHIQ driver software.<br> <br> Your thoughts, suggestions, comments are welcome about supporting VCHIQ <br= > subsystem HDMI Audio for Raspberry Pi (BCM2711) 4B, 400, RPI (BCM2712) <br> 5, 500,=C2=A0 (BCM2835) RPI3 RPI3+ 64 bit hardware ?<br> <br> pss: =C2=A0=C2=A0 RUSPIPRO is Rust supported VCHIQ hardware device driver <= br> software.=C2=A0 URL link here:=C2=A0=C2=A0 <a href=3D"https://github.com/Ru= sPiRo" rel=3D"noreferrer" target=3D"_blank">https://github.com/RusPiRo</a>= =C2=A0 There was a <br> VCHIQ bare metal driver here somewhere.<br> <br> <br> </blockquote></div> </blockquote></div> --0000000000006842fe06418ca674--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAJ-Vmok58UMbNjDBbSH0yQtGdkU6mPLjtwD8eF0VP9DifOh%2B4g>