Hi. On Wed, 11 Dec 2013 11:33:08 -0600 Kent West <we...@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 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20131211214601.9199fc45b086eccdefdb5...@gmail.com
