Ubuntu – After upgrade of Virtual Box, kernel sources are missing

12.10virtualbox

I did upgrade VirtualBox from 4.1 to 4.2

wheneverver I want to load my Win XP VDI, it gives me the following error:

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.

I ran the suggested step to reinstall the kernel module, and the log file is as follow:

Makefile:181: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again.  Stop.
Makefile:181: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again.  Stop.
Makefile:181: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again.  Stop.

I still unable to re-run my win virtual XP vdi file.

Anyone have any clue?

Best Answer

Looks like you don't have the kernel headers installed, dkms needs then to install the Virtual Box kernel drive, to install then run:

sudo apt-get install linux-headers-`uname -r`

Afterwards,

/etc/init.d/vboxdrv setup

should work.