Après une mise à jour du kernel de votre OS, Virtualbox ne veut plus démarrer vos machines virtuelles et vous indique un message d’erreur sembla à celui-ci.
Pour résoudre ce problème, nous allons ouvrir un terminal, nous mettre en root et lancer la commande indiqué dans le message d’erreur.
sudo su /etc/init.d/vboxdrv setup
Mais visiblement pour ma première tentative cela ne fonctionne pas… En effet si on regarde le message d’erreur, je n’ai pas les bons fichiers header installé pour le noyau actuellement utilisé.
N’hésitons pas un instant et installons les !
apt-get install linux-headers-3.5.0-32-generic
Si vous ne savez pas quel paquet installer utilisez la commande ci-dessous.
apt-get install linux-headers-$(uname -r)Pour finir il faut refaire la commande qui avait échoué.
/etc/init.d/vboxdrv setup
Une fois cette commande terminé, vous pourrez redémarrer vos machines virtuelles !
