Depuis la mise à jour de mon kernel, VirtualBox fait des siennes au démarrage. Un message d’erreur récurrent s’affiche : * VirtualBox kernel module is not loaded.
Il y a bien longtemps que je n’ai pas utilisé VirtualBox mais on ne sait jamais... il n’est pas exclu que j’en aie besoin un de ces quat’, ne serait-ce que pour virtualiser un de ces systèmes proprios indispensables à la société de consommation et dont les utilisateurs (qui ne se posent pas même la question de savoir s’il existe autre chose), bien trop souvent, vous inondent sans crier gare ! (voir la petite vidéo de Bernard Cerquiglini), sans aucune courtoisie aucune, de leur non moins indispensables fichiers fermés ! Symptôme d’une nouvelle animalité : le cyber-cochon !
Bref... depuis la dernière mise à jour de mon kernel, VirtualBox baragouine au démarrage et refuse opiniâtrement de lancer quelque machine virtuelle que ce soit.
Comme c’est expliqué dans la documentation, la solution est fort simple : à chaque nouveau kernel sa recompilation du module. Oui mais non !
Ouvrez un terminal et entrez la commande suivante qui donne l’usage :
Vérification :
Il suffit de réinstaller le module de VirtualBox correspondant à la version de votre kernel :
Une nouvelle vérification :
Et voilà !
Il est bien regrettable que la mise à jour du kernel n’induise pas la mise à jour de tous modules utilisés... Ça viendra !