installing linux header for raspbian

raspbian_linux_headers.txt

sudo apt-get install raspberrypi-kernel-headers

VOILA! nothing else to do!

if it does not work:

https://www.niksula.hut.fi/~mhiienka/Rpi/linux-headers-rpi/

find the headers for the distribution: uname -r

sudo su

cd /usr/src

wget https://[...].deb

apt-get install dkms
apt-get install bc

dpkg -i linux-headers*.deb 

Ignore errors just make sure that:

it create the link "build" @ /lib/modules/$(uname -r) that point to /usr/src/linux-headers-$(uname -r)


See what package are installed:

(dpkg --get-selections | grep -v deinstall | grep [nom du package])

https://github.com/emmercm/rpi-headers