Hi.
On Wed, 11 Dec 2013 11:33:08 -0600
Kent West <westk@acu.edu> wrote:
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.
Don't believe VirtualBox. It lies. It does not need kernel sources.
What it does need is kernel headers.
Specifically, you need to install linux-headers-3.11-0.bpo.2-amd64 from
wheezy-backports.
Reco