Public bug reported:
I've been trying to get this system to upgrade for a couple of weeks
now, but it's been a background task for me, and I haven't really been
able to take the time to track it down or analyze it. The packet of
info that got shipped to you folks from this (and the last two or th
Public bug reported:
VirtualBox had been working, but after a kernel update, fails with "Kernel
driver not installed (rc=-1908)"
It tells me to run '/etc/init.d/vboxdrv setup', but vboxdrv does not exist on
my system.
Trying to make the driver (running 'make' in
/var/lib/dkms/virtualbox/4.1.12
