Re: Raspberry 4 installation?

[Thomas Klausner <wiz%NetBSD.org@localhost>]

On Mon, Dec 06, 2021 at 01:20:44PM -0000, Michael van Elst wrote:
> >> >I see no audio device in dmesg.
> >> 
> >> GENERIC64 in -current should have
> >> 
> >> vchiq0          at fdt?
> >> vcaudio0        at vchiq0
> 
> >Hm, nope, not on my hardware. As I said, new RPi4B 8GB. I'll attach
> >the dmesg.  How does it compare to yours?
> 
> With UEFI:
> [     1.000003] VCIQ (BCM2835) at acpi0 not configured
> 
> which means, the kernel lacks an ACPI attachment for vchiq.

I looked at the files in sys/dev/acpi/*_acpi.c. They look quite
straightforward, but I don't know what the attach function has to do
for this device.

Then I found
     external/bsd/vchiq/dist/interface/vchiq_arm/vchiq_netbsd_acpi.c
which looks like it already implements what we need here.

sys/arch/evbarm/conf/GENERIC64 only has
     vchiq0          at fdt?
though (and the man page documents it "at simplebus?" instead).

What needs to be done here to make vchiq attach via ACPI?
 Thomas