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.
There is some documentation here: /wiki.ubuntu. com/KernelMainl ineBuilds
https:/
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 extra-3. 5.0-030500rc3- generic_ 3.5.0-030500rc3 .201206162135_ amd64.deb
sudo dpkg -i linux-image-
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.