A tool to build linux-headers on your Raspberry Pi.
The raspberrypi.org and raspbian.org APT repositories do not contain very many versions of linux-headers packages, especially newer ones that are necessary after using Liam McLoughlin's rpi-update tool.
sudo apt-get install wget git make gcc-4.7 bc dkms./rpi-headers- niksula.hut.fi/~mhiienka for building and hosting pre-built linux-headers packages.