No Sources for Backported Kernels?
I have a new Dell Precision T1700 that has a network adapter which is
not recognized by wheezy's kernel (3.2). So I've installed the
backported 3.11 kernel, which does work with my NIC. However, now my
virtualbox modules won't compile, complaining that the source for this
kernel is not installed:
Setting up virtualbox-dkms (4.1.18-dfsg-2+deb7u1) ...
Loading new virtualbox-4.1.18 DKMS files...
First Installation: checking all kernels...
Building only for 3.11-0.bpo.2-amd64
Module build for the currently running kernel was skipped since the
kernel source for this kernel does not seem to be installed.
[ ok ] Stopping VirtualBox kernel modules.
[FAIL] Starting VirtualBox kernel modules[....] No suitable module for
running kernel found ... failed!
failed!
invoke-rc.d: initscript virtualbox, action "restart" failed.
westk[@]goshen]:/home/westk:> uname -a
Linux goshen 3.11-0.bpo.2-amd64 #1 SMP Debian 3.11.8-1~bpo70+1
(2013-11-21) x86_64 GNU/Linux
westk[@]goshen]:/home/westk:> aptitude search linux-source
p linux-source - Linux kernel
source (meta-package)
p linux-source-2.6 - Linux kernel
source (dummy package)
p linux-source-3.10 - Linux kernel
source for version 3.10 with Debian patches
i linux-source-3.11 - Linux kernel
source for version 3.11 with Debian patches
i linux-source-3.2 - Linux kernel
source for version 3.2 with Debian patches
p linux-source-3.9 - Linux kernel
source for version 3.9 with Debian patches
I *could* upgrade to testing (or unstable), but I'd prefer it to stay on
stable. Any suggestions as to what I should do to be able to get
virtualbox to run?
Thanks!
--
Kent
Reply to: