On Tue, 30 Jul 2013, Steven Stern wrote:
>
If you're using the repo from virtualbox.org*, type
sudo /sbin/service vboxdrv setup
It will use DKMS to remove the virtual box drivers, recompile them for
the new kernel, and install them into the active kernel modules.
* This may apply to the Fedora repos but I'm not sure. I'm using the one
from
virtualbox.org. See
https://www.virtualbox.org/wiki/Linux_Downloads
and scroll down to RPM-based Linux distributions
Cool. I'll give it a try next time it happens...
billo