Re: sound on raspberry pi 4

From: void <void_at_f-m.fm>
Date: Sat, 03 Sep 2022 13:04:08 UTC
On Sat, Sep 03, 2022 at 12:06:37PM +0100, Marco Devesas Campos wrote:

>Differential revision created
>
>https://reviews.freebsd.org/D36431 <https://reviews.freebsd.org/D36431>
>
>with HPS and Warner (since he showed interest in the patch initially) as reviewers.
>
>Keen to hear from anyone who might be interested in the patch.

This applied cleanly and installed fine. I have not tested sound at
the jack mounted on the pcb. The way it works here is via the hdmi cable
where the speakers are plugged into the audio jack on the monitor.
I understand that via hdmi would be expected to be of higher quality
output than the jack on the board?

$ doas dmesg | grep vchiq
vchiq0: <BCM2835 VCHIQ> mem 0x7e00b840-0x7e00b87b irq 72 on simplebus0
vchiq: local ver 8 (min 3), remote ver 8.
pcm0: <VCHIQ audio> on vchiq0

$ mixer
pcm0:mixer: <VCHIQ audio> at VCHIQ (play) (default)
     vol       = 0.75:0.75     pbk

system right now is

$ uname -avKU
FreeBSD rpi4 14.0-CURRENT FreeBSD 14.0-CURRENT #0 main-n257719-2486b446db8-dirty: 
Sat Sep  3 13:04:11 BST 2022     
root@rpi4:/usr/obj/usr/src/arm64.aarch64/sys/GENERIC-VCHIQ arm64 1400066 1400066

For unassociated reasons, need to reinstall as a 13.1-p2 system. I'll
apply the patch to 13.1-p2 and rebuild then post the results back here
--