Excellent. So far no problems then. I do run virtualbox but "sudo /etc/init.d/vboxdrv setup" seemed sufficient to get that working again.
Excellent. So far no problems then. I do run virtualbox but "sudo /etc/init.d/vboxdrv setup" seemed sufficient to get that working again.