@Dave No. From my bug description you can see that: 1. VirtualBox failed to launch, 2. VirtualBox failed to recompile the module with DKMS because of no headers for new kernel 3. VirtualBox compiled its module normally after manual installation of headers.
I think that headers must be installed automatically, but they are not. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/999924 Title: VirtualBox says that kernel headers not installed To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/dkms/+bug/999924/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
