I dug up a saved image I'd made of an installation of the system with kernel version 1008, and I am thus able to run kernels I've built from 1009-vintage source again, but I'd still like to know where to get the most recent version of the kernel source. Thanks.

I've just gotten GPU rendering working on a pi 4 in 32-bit Ubuntu 20.04.
It just required config changes.

Details here:
https://bugs.launchpad.net/ubuntu/+sour ... omments/14

I don't know if the same fix works in 64-bit systems.

I also need GPU acceleration for OpenGL. Please take a look at the comment I just added to: https://bugs.launchpad.net/ubuntu/+source/linux-raspi/+bug/1880125 Here's the procedure that worked for me for building and running what I thought was the "official" kernel: https://askubuntu.com/questions/12...

Thanks very much for your reply! At the moment, I have a very basic question: I pulled a copy of the the source tree for the pi 4 a while back, maybe a couple of months ago, by doing this: git clone --depth=1 git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/focal -b raspi I was able ...

I'm attempting to come up to speed with kernel programming for the Raspberry Pi 4 in Ubuntu, starting from zero, but having extensive experience with kernel programming in a different operating system in the past. I've learned a modest amount by general web searches, reading source code, inserting d...