En realidad el propio Virtualbox te avisa de cual es el comando, pero por ahi en versiones viejas -o nuevas- no se avise, así que como mi memoria es floja para las pequeñas cosas, tendré que confiar en que lo he posteado 🙂
Lo único que hay que hacer es:
bc. $ sudo /etc/init.d/vboxdrv setup
[sudo] password for user:
Y veremos una salida como esta:
bc. * Stopping VirtualBox kernel module * done.
* Recompiling VirtualBox kernel module * done.
* Starting VirtualBox kernel module * done.
Si todo sale tal cual muestro arriba, entonces ya puedes volver a usar Virtualbox.
Me ocurrió al instalarse un nuevo kernel en Ubuntu 9.04 (Jaunty), aunque me imagino que en Debian sera igual la cosa. La versión de Virtualbox es la 3.0.