I upgraded my kernel on Ubuntu 12.04 in order to gain access to the
The full kernel version that I upgraded to is 3.9.0-030900-generic, following this tutorial.
Unfortunately, the headers seem to have remained the same because the uapi directory doesn't exist. To diagnose the problem, I tried to download the source for my 3.9 kernel with:
sudo apt-get source linux-image-$(uname -r)
However the output is
Picking 'linux' as source package instead of 'linux-image-3.9.0-030900-generic'
And this results in the kernel source for 3.2 being downloaded instead of 3.9.
What action must I take to install the kernel/headers properly?
I looked through these two posts before posting for insights, to no avail: