I'm having trouble getting VirtualBox to work on Debian on my laptop: Manufacturer: ASUSTeK COMPUTER INC. Product Name: UX305CA Version: 1.0
| $ VirtualBox | WARNING: The character device /dev/vboxdrv does not exist. | Please install the virtualbox-dkms package and the appropriate | headers, most likely linux-headers-amd64. | | You will not be able to start VMs until this problem is fixed. | Gtk-Message: Failed to load module "canberra-gtk-module" I've searched this and it seems to be caused by missing kernel headers. So I've tried: | $ sudo apt-get install linux-headers-generic | Reading package lists... Done | Building dependency tree | Reading state information... Done | Package linux-headers-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-generic' has no installation candidate I believe this is likely related to the fact I'm using a backported 4.x kernel to support my wifi:: | $ uname -a | Linux redacted 4.7.0-0.bpo.1-amd64 #1 SMP Debian 4.7.8-1~bpo8+1 (2016-10-19) x86_64 GNU/Linux | $ apt-cache policy linux-image-4.7.0-0.bpo.1-amd64-unsigned | linux-image-4.7.0-0.bpo.1-amd64-unsigned: | Installed: 4.7.8-1~bpo8+1 | Candidate: 4.7.8-1~bpo8+1 | Version table: | *** 4.7.8-1~bpo8+1 0 | 100 /var/lib/dpkg/status However I cannot find the corresponding headers e.g.: | $ apt-cache search linux-headers-4.7 | linux-headers-4.7.0-1-common-grsec - Common header files for Linux 4.7.0-1-grsec | linux-headers-4.7.0-1-grsec-amd64 - Header files for Linux 4.7.0-1-grsec-amd64 neither of which look like the right version. This is my /etc/apt/sources.list: | # deb http://ftp.uk.debian.org/debian/ jessie main | | deb http://ftp.uk.debian.org/debian/ jessie main non-free contrib | deb-src http://ftp.uk.debian.org/debian/ jessie main non-free contrib | | deb http://security.debian.org/ jessie/updates main contrib non-free | deb-src http://security.debian.org/ jessie/updates main contrib non-free | | # jessie-updates, previously known as 'volatile' | deb http://ftp.uk.debian.org/debian/ jessie-updates main contrib non-free | deb-src http://ftp.uk.debian.org/debian/ jessie-updates main contrib non-free | | # for 4.x kernel | deb http://ftp.de.debian.org/debian experimental main | deb-src http://ftp.de.debian.org/debian experimental main | | deb http://ftp.debian.org/debian jessie-backports main | deb-src http://ftp.debian.org/debian jessie-backports main | | #deb http://security.debian.org testing/updates main Searching on debian.org for linux-headers-4.7 didn't return anything either. Can anyone shed any light on why I can find the kernel image but not the sources for this version? (I've not used a backport before so not very familiar with how the versioning works.) Many thanks, -- Graham
