Arrgh how can it be so hard to find out which package in #RasPiOS hosts the #vc4 libs? I think it's part of rasbperrypi-userland but it always seems the details are obfuscated.

oops I seem to have jumped the gun upgrading my #kodi #pi4 to #bookworm. There are bookworm repos on the archive.raspberrypi.org but they seem to be devoid of packages. Without the #vc4 firmware video decode performance takes a nose dive. Does anyone know where to find them? Any staging repo used for testing? #Debian haven't started shipping the vc4 #firmware in non-free-firmware have they? #lazyweb