The upstream kernel is already compiled and the .deb can be downloaded from: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.4-rc2-precise/
Then you can install the .deb with: sudo dpkg -i FILE_NAME.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. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/976888 Title: BUG: unable to handle kernel NULL pointer dereference at (null) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/976888/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs