5

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?

Peter Mortensen
  • 2,004
  • 2
  • 15
  • 18
chintogtokh
  • 153
  • 1
  • 1
  • 3
  • Look at the related questions to the right of this page. Does one help answer your question? – joan Jul 09 '14 at 07:30

2 Answers2

8

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

Heinrisch
  • 196
  • 1
  • 2
  • 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 '22 at 22:55
  • Here is a more comprehensive tutorial explaining where to look up the hash and how it works. https://retropie.org.uk/forum/topic/31045/how-to-change-to-a-different-firmware-and-kernel-combo – Craig Yang Aug 09 '23 at 09:09
2

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

thekiwi5000
  • 651
  • 4
  • 14
  • 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 '15 at 09:35