I am also having a problem I keep getting the following error :
Trying to register the VirtualBox kernel modules using DKMSError! Your kernel headers for kernel 3.8.0-25-generic cannot be found. Please install the linux-headers-3.8.0-25-generic package, or use the --kernelsourcedir option to tell DKMS where it's located ...failed! (Failed, trying without DKMS) Recompiling VirtualBox kernel modules ...failed! (Look at /var/log/vbox-install.log to find out what went wrong) Processing triggers for ureadahead ...
I am unable to start a Virtual Machine I installed from repository. Any ideas ?
When I start a vm I get :
Kernel driver not installed (rc=-1908) The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing '/etc/init.d/vboxdrv setup' as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.
The same errors with VirtualBox4.2 EDIT
sudo apt-get install linux-headers-3.8.0-25-generic Reading package lists... Done Building dependency tree Reading state information... Done Package linux-headers-3.8.0-25-generic is not available, but is referred to by another package. This may mean that the package is missing, has been obsoleted, or is only available from another source E: Package 'linux-headers-3.8.0-25-generic' has no installation candidate
Manually updated the kernel from 220.127.116.11 to 3.10.0-031000-generic and now it all works !