/dev/vchiq on rpi4 (aarch64)

[Greg V]

On Tue, Feb 23, 2021 at 10:48, Alex Samorukov <samm at freebsd.org> wrote:
> On verbose logging i also see
> 
> simplebus0: <mailbox at 7e00b840> mem 0x7e00b840-0x7e00b87b irq 55 
> compat brcm,bcm2711-vchiq (no driver attached)
> 
> Do i need to add something to the dtb to fix that?

No, sys/contrib/vchiq/interface/vchiq_arm/vchiq_kmod.c needs
to actually bind to brcm,bcm2711-vchiq and not just the 2835 one.

(and, well, actually handle hardware difference between these)