Nathanial - in general you don't need the headers, BUT - if you've installed any drivers which build automatically using dkms (such as nvidia proprietary drivers), you need the headers. It's safest to install them, it "only" uses disk space.
You can uninstall them later. Celso - no suspicions, that's why I'm bisecting to find out. There are still more than 40 patches in the next bisection which could have caused it. I'm making new kernels now -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1167114 Title: Ubuntu Kernel 3.5.0-27 does not boot To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1167114/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
