kernel headers

[woutervanh]

Just a hint in stead of downloading and installing the complete kernel tree to compile a module.
In raspbian, you can simply issue:
sudo apt-get install raspberrypi-kernel-headers

[dnivanthaka]

Thanks for the suggestion. I will try it out.