These are the commands I ran:
mkdir kernel v3.9.1-saucy && cd kernel v3.9.1-saucy
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9.1-saucy/linux-headers-3.9.1-030901-generic_3.9.1-030901.201305080210_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9.1-saucy/linux-headers-3.9.1-030901_3.9.1-030901.201305080210_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9.1-saucy/linux-image-3.9.1-030901-generic_3.9.1-030901.201305080210_amd64.deb
sudo dpkg -i linux-*.deb
sudo update-grub
0 Comments