Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #176448 > unrolled thread

Missing linux-headers-4.7.8-1~bpo8+1

Back to article view | Back to linux.debian.user

Contents

  Missing linux-headers-4.7.8-1~bpo8+1 Graham McNeil-Watson <grahammnw@gmail.com> - 2017-01-08 15:50 +0100
    Re: Missing linux-headers-4.7.8-1~bpo8+1 Pascal Hambourg <pascal@plouf.fr.eu.org> - 2017-01-08 16:20 +0100

#176448 — Missing linux-headers-4.7.8-1~bpo8+1

[Multipart message — attachments visible in raw view] — view raw

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

[toc] | [next] | [standalone]

#176451

Le 08/01/2017 à 15:32, Graham McNeil-Watson a écrit :
>
> | $ sudo apt-get install linux-headers-generic
(...)
> | 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

AFAIK linux-*-generic packages are from Ubuntu, not Debian.

> | $ 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.:
(...)
> 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?

Linux 4.7 packages and have been superseded by 4.8 and removed from 
stretch and jessie-backports.

You can see the linux-image-4.7 only because it is still installed on 
your system. As you can see from apt-cache policy above, it is no longer 
available in the Debian repository, just as any other linux-*-4.7 packages.

I guess you can get linux-headers-4.7 packages from the snapshot 
repository, or you can upgrade to Linux 4.8.

[toc] | [prev] | [standalone]

Back to top | Article view | linux.debian.user

csiph-web