I am pretty new to Ubuntu. I had been using genymotion for the past 2-3 days. When I tried to start it today, it indicated something is wrong with the virtualbox. I had it installed from the repos. I have uninstalled it, then reinstalled it again from the repos, then uninstalled it again and then reinstalled using the .deb from the VirtualBox site. Tried installing dkms, nothing happened. Trying to start Virtual Box I am getting this message,
WARNING: The vboxdrv kernel module is not loaded. Either there is no module available for the current kernel (4.4.0-65-generic) or it failed to load. Please recompile the kernel module and install it by
sudo /sbin/vboxconfig
You will not be able to start VMs until this problem is fixed.
Trying to run sudo /sbin/vboxconfig, I get this:
vboxdrv.sh: Building VirtualBox kernel modules.
This system is not currently set up to build kernel modules (system extensions).
Running the following commands should set the system up correctly:
apt-get install linux-headers-4.4.0-65-generic
(The last command may fail if your system is not fully updated.)
apt-get install linux-headers-generic
vboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.
This system is not currently set up to build kernel modules (system extensions).
Running the following commands should set the system up correctly:
apt-get install linux-headers-4.4.0-65-generic
(The last command may fail if your system is not fully updated.)
apt-get install linux-headers-generic
There were problems setting up VirtualBox. To re-start the set-up process, run /sbin/vboxconfig as root.
The contents of /var/log/vbox-install.log is:
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
Makefile:185: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR <directory> and run Make again. Stop.
And running apt-get install linux-headers-4.4.0-65-generic, I get:
Package linux-headers-4.4.0-65-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-4.4.0-65-generic' has no installation candidate
apt-get install linux-headers-generic
, gave you that message more then once, so,sudo apt-get update && sudo apt-get upgrade && sudo apt-get install linux-headers-generic
and then try again to install vbox. Vbox is in the repos , and KVM and similar are supported out of the box as alternates to vbox. – Panther Mar 03 '17 at 16:31sudo apt-get update && sudo apt-get upgrade && sudo apt-get install linux-headers-generic
then try installing vbox again – Panther Mar 03 '17 at 17:00sudo apt-get install linux-headers-generic
– Panther Mar 03 '17 at 18:29uname -r
and trysudo apt-get install linux-headers-$(uname -r)
– Panther Mar 03 '17 at 18:36