Hi Lucas, This is in response to your message https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968181#14
>B/ RPI4 support in the kernel v3d driver >(B) requires less work, so should come next quite quickly. I tried loading v3d.ko to the vanilla 5.10.1 kernel, but doing so did not bring /dev/dri/render*, which appears and enables GPU acceleration on Ubuntu kernel for RPi4. I reported it to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977441#27 Bringing GPU acceleration to Debian kernel seems to need some work. On the other hand, I also have the garbled screen on my 4K HDMI display as you wrote at http://lists.infradead.org/pipermail/linux-rpi-kernel/2020-November/007894.html Best regards, Ryutaroh Matsumoto