I recently got a pi400, i do have a few pi4’s around since a while and while nearly all my Pis run Ubuntu Core, the 400 is really rather a desktop type of things. I found it a bit depressing to see that we only have arm64 images of the desktop flavour, since the binary blobs providing hardware accelerated video (a discipline where the Pi really shines (given the SoC was originally a TV settop box)) only exist for 32bit and the GPU itself is a 32bit chip …  This got me the idea to start tinkering...