Kernel version is 4.12.0-1-amd64, but the first suggested command installing linux-headers-4.12.0-1-amd64 can't find the package.Running the following commands should set the system up correctly:
apt-get install linux-headers-4.12.0-1-amd64
(The last command may fail if your system is not fully updated.)
apt-get install linux-headers-amd64
There were problems setting up VirtualBox. To re-start the set-up process, run
/sbin/vboxconfig
as root.
vbox-install.log shows
I have been trying to get this to work for some days now and depend on VB for my work. Any help much appreciated.Uninstalling modules from DKMS
Attempting to install using DKMS
Creating symlink /var/lib/dkms/vboxhost/5.0.40/source ->
/usr/src/vboxhost-5.0.40
DKMS: add completed.
Failed to install using DKMS, attempting to install without
Makefile:186: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
/tmp/vbox.0/Makefile.include.header:141: *** Error: unable to find the headers of the Linux kernel to build against. Specify KERN_VER=<version> (currently 4.12.0-1-amd64) and run Make again. Stop.
Makefile:187: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
Makefile:187: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
Makefile:187: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
Makefile:187: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
Makefile:187: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.