O'Reilly logo
  • Alexander Jaworowski thinks this is interesting:

Downloading the Kernel Source

From

Cover of Exploring Raspberry Pi

Note

For kernel modules, an alternative is to download the linux headers directly to rpi. An easy way to get the correct headers, for the linux version on the pi, is to use rpi-source script which can be downloaded from https://github.com/notro/rpi-source