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:
|
|
|
| # jessie-updates, previously known as 'volatile'
|
| # for 4.x kernel
|
|
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