search

Hexxeh / rpi-firmware

Firmware files for the Raspberry Pi
Other
775 stars 207 forks source link

Kernel Header Files? #189

Closed tamusjroyce closed 5 years ago

tamusjroyce commented 5 years ago

Given a kernel version, $(uname -r), is there an easy way to know the git command to clone the kernel headers at that revision? Maybe a script?

It would be even nicer if raspberrypi-kernel-headers did this for us. Or an alternative package.

rpi-update has updated my kernel to 4.14.80-v7+. But raspberrypi-kernel-headers gives me 4.14.79-v7+.

This is a great tool. Seems to be missing one tiny piece. Or I am missing it in the documentation. I would be grateful if you could point me in the right direction!

tamusjroyce commented 5 years ago

Never mind. It is right there in front of me... face palm

sudo wget https://raw.githubusercontent.com/notro/rpi-source/master/rpi-source

tamusjroyce commented 5 years ago

Found the script that downloads the associated kernel headers.