[Pkg-virtualbox-devel] Bug#808910: virtualbox-guest-dkms: Module build skipped - kernel source not found

[George B.]

Package: virtualbox-guest-dkms
Version: 5.0.12-dfsg-1
Followup-For: Bug #808910

Hi Gianfranco,

Thank you for the quick reply and for the idea to fix the problem.

Turns out that package was not installed: the kernel installed by Debian Installer was linux-image-686 but dkms depends on the linux-headers-686-pae - what a mess!

Anyway, I manually installed the right packages and it worked fine now - please close this!


Thanks,

George

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 4.3.0-1-686-pae (SMP w/1 CPU core)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages virtualbox-guest-dkms depends on:
ii  dkms                    2.2.0.3-2
ii  virtualbox-guest-utils  5.0.12-dfsg-1

virtualbox-guest-dkms recommends no packages.

virtualbox-guest-dkms suggests no packages.

-- no debconf information