I have managed to build vboxdrv manually, thusly: cd /usr/src/virtualbox-4.0.10/vboxdrv make make install modprobe vboxdrv and virtual machines are now willing to start. The syntax for dkms was just too hairy, at first glance of the man page.... Clayton