I'm trying to find the source for version 3.12.20, but the current 3.12.y version on GitHub is 3.12.24. I understand I can just update my current version, but shouldn't downloading the source for my current version surely be faster?

  • Look at the related questions to the right of this page. Does one help answer your question?
    – joan
    Jul 9, 2014 at 7:30

2 Answers 2


You can do: sudo rpi-update hash with the hash being the kernel version from here: https://github.com/Hexxeh/rpi-firmware

For example: sudo rpi-update ba43047bec24d5f0a4150f09a37884240f8926d2 would install 3.12.35

  • Unfortunatelly you will have problems with installing specific for this version headers-files. Rpi-Source can save you day in some situations.
    – lucidyan
    Jul 30, 2022 at 22:55
  • Here is a more comprehensive tutorial explaining where to look up the hash and how it works. retropie.org.uk/forum/topic/31045/…
    – Craig Yang
    Aug 9, 2023 at 9:09

Try sudo apt-get install linux-image-### linux-image-extra-###

Where ### is the version number (eg. 3.11.0-15-generic)

You can check your kernel version with uname -r

  • 5
    This is the generic Debian/Ubuntu way of doing it, yet not for the Raspberry Pi. The above answer (rpi-update) is correct as the kernel images are not installed via apt-get under Raspbian.
    – Christian
    Dec 20, 2015 at 9:35

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.