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

Reply via email to