Have you looked at rpi-source?
That gets the kernel source for your currently executing kernel.
https://github.com/RPi-Distro/rpi-source (may not work on an RPi5).
That gets the kernel source for your currently executing kernel.
https://github.com/RPi-Distro/rpi-source (may not work on an RPi5).
Statistics: Posted by DougieLawson — Sun Jun 23, 2024 9:36 am