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.

@epilys Ok I see what I've done wrong - it's not just firmware. I remember now all the #kodi binaries come from the raspberrypi branch of #raspios so even with correct firmware you don't get the #vc4 video support.

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

Maíra Canal just finished her #CodingExperience at @igalia and has written this very nice post about the awesome work she has done around IGT, the #v3d and #vc4 Kernel drivers and #Mesa3D

https://mairacanal.github.io/january-update-finishing-my-igalia-ce/