VirtualBox Kernel Modul nach Kernelupdate neu kompilieren

Falls VirtualBox nach einem Kernelupdate nicht mehr funktioniert, weil das VirtualBox Kernel Modul nicht automatisch neu kompiliert wird, folgenden Befehl als root oder via sudo ausführen:


sudo /etc/init.d/vboxdrv setup


Nachfolgend sollten folgende Zeilen auf der Konsole angezeigt werden:

* Stopping VirtualBox kernel module * done.
* Recompiling VirtualBox kernel module * done.
* Starting VirtualBox kernel module * done.


Anschließend ist VirtualBox wieder lauffähig.