After an upgrade using rpi-update the kernel could be upgraded. The script download the kernel from an other gihub repository rpi-firmware.

Till now, in order to get the kernel source, I download the last kernel source from git://github.com/raspberrypi/linux.git as it is explained in http://elinux.org/RPi_Kernel_Compilation. But the kernel source could be more recent than the one provided by rpi-update.

How to get the kernel source corresponding to the one installed by rpi-update ?

1 Answer 1


Finally I found rpi-source that do the job https://github.com/notro/rpi-source/wiki.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.