Thank you very much, andrew. I managed to install the package now. Unfortunately, VirtualBox still isn't working for me. "uname -r" shows "3.10.5-gnu" now but "sudo /etc/init.d/vboxdrv setup" still gives me "sudo: /etc/init.d/vboxdrv: command not found". Any further hints?

Reply via email to