I upgraded my kernel on Ubuntu 12.04 in order to gain access to the include/uapi/ headers. The full kernel version that I upgraded to is 3.9.0-030900-generic, following this tutorial. ...
I manually deleted the linux-headers package in /usr/src/ by mistake. I can't get them back as the current kernel image is up-to date, so: sudo apt-get install linux-headers-$(uname -r) doesn't ...
Any time Ubuntu wants to upgrade my kernel, it doesn't seem to upgrade the headers at the same time. This results in certain drivers not being rebuilt such as wireless and virtualbox drivers. I always ...