[Pkg-dkms-maint] Bug#755942: dkms fails to recognize linux-headers-486; dkms fails to build 486 modules for virtualbox-guest-dkms

Parke parke.nexus at gmail.com
Thu Jul 24 18:51:35 UTC 2014

Package: dkms

I believe dkms's dependency on linux-headers-* should be satisfied by

Also, dkms fails to build 486 kernel modules for virtualbox-guest-dkms
(version 4.3.12-dfsg-1) when linux-headers-486 is already installed.

Steps to reproduce.

1) Install i386 Jessie in a VirtualBox VM using
debian-jessie-DI-a1-i386-netinst.iso.  (Installing i386 Wheezy in the
VM would probably also work, as we will promptly dist-upgrade to sid.)

By default, VirtualBox (version 4.3.10-dfsg-1 on an Ubuntu 14.04 host)
does not enable PAE for 32 bit Debian guests.

Jessie installs with an i486 kernel.

2) edit /etc/apt/sources.list to point to sid

3) apt-get update

4) apt-get dist-upgrade

5) reboot

6) apt-get install virtualbox-guest-dkms

This will install linux-headers-686-pae, even though the VM is running
an i486 kernel.
The 686-pae headers will be installed even if linux-headers-486 is
already installed.

Also, the virtualbox guest kernel modules will be built ONLY for
686-pae.  This is true even if linux-headers-486 is already installed.

(Aside: Ideally IMO, installing dkms would install kernel headers that
matched a running or installed kernel, or at least matched the
architecture of a running or installed kernel.)

5) apt-get install linux-headers-486

Installing the 486 headers AFTER virtualbox-guest-dkms will cause the
486 kernel modules to be built.  (As per the above, the 486 modules
will NOT be built if the 486 headers are installed FIRST.)

Parts of the above could be due to bugs in virtualbox-guest-dkms.  I
am not an expert on how dkms is supposed to work.


More information about the Pkg-dkms-maint mailing list