Hi again. On Wed, 11 Dec 2013 14:31:54 -0600 Kent West <westk@acu.edu> wrote: > Setting up virtualbox-dkms (4.1.18-dfsg-2+deb7u1) ... … > Building only for 3.11-0.bpo.2-amd64 You use backported kernel, but stock VirtualBox kernel module source. This won't fly. To make it work, you should upgrade virtualbox and its' dependents to wheezy-backports' versions. Reco