FIX: The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or...

Qualche tempo fa ho installato sulla mia Debian Squeeze l'ultima versione di Oracle VM VirtualBox reperibile direttamente dal sito www.virtualbox.org, scartando la vecchia versione presente nei repository di Debian 6.0.6.
Terminata l'installazione, provando le macchine esistenti, tutto pareva funzionare a dovere. Almeno fino al primo riavvio...



Dopo il reboot, all'apertura di VBox ecco che compare questo messaggio:

Kernel driver not installed (rc=-1908) The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Please reinstall the kernel module by executing ‘/etc/init.d/vboxdrv setup’ as root. If it is available in your distribution, you should install the DKMS package first. This package keeps track of Linux kernel changes and recompiles the vboxdrv kernel module if necessary.

L'errore è dovuto al fatto che i moduli di VirtualBox installati sono compilati per un kernel diverso da quello che si sta usando. Per risolvere il problema occorre metterci mano con l'ausilio di dkms:

sudo apt-get install dkms
sudo /etc/init.d/vboxdrv setup

A questo punto VirtualBox dovrebbe funzionare correttamente. Tuttavia se dopo il reboot della macchina dovesse ancora presentarsi lo stesso problema, è probabile che non venga caricato il modulo vboxdrv all'avvio. Per caricarlo si può usare modprobe (superuser):

modprobe vboxdrv

Per renderlo permanente (superuser):

echo "vboxdrv" >> /etc/modules