Comment 6 for bug 1016189

Revision history for this message
Joseph Salisbury (jsalisbury) wrote :

There is some documentation here:
 https://wiki.ubuntu.com/KernelMainlineBuilds

You should only install the linux-image and linux-image-extra packages. That can be done from a terminal with the following commands:

sudo dpkg -i linux-image-3.5.0-030500rc3-generic_3.5.0-030500rc3.201206162135_amd64.deb
sudo dpkg -i linux-image-extra-3.5.0-030500rc3-generic_3.5.0-030500rc3.201206162135_amd64.deb

You can run sudo update-grub to automatically have grub updated to boot the new kernel by default. However, it is probably best to not update grub, and just select the new kernel from the grub menu.

The grub menu is hidden by default. You can access it by holding the "Shift" key after you power on your system.