Bonjour, Ci-joint le contexte Virtual Box et l'erreur que je rencontre : Kernel driver not installed (rc=-1908). Il semble qu'il faille lancer une génération par la commande : /etc/init.d/vboxdrv setup Cependant, je reçois l'erreur suivante en la lançant : bash: /etc/init.d/vboxdrv: Aucun fichier ou dossier de ce type Le lien du bundle utilisé pour l'installation de la vm est le suivant : https://cloud.lip6.fr/index.php/s/36MJeEsLxfGemEQ En vous remerciant d'avance de votre aide, Hervé ==================================================== PN2014 ===== Echec vbox -------------- 1) Premier message Échec de l''ouverture de session pour la machine virtuelle Debian64. The virtual machine 'Debian64' has terminated unexpectedly during startup with exit code 1 (0x1). Code d''erreur : NS_ERROR_FAILURE (0x80004005) Composant : Machine Interface : IMachine {5eaa9319-62fc-4b0a-843c-0cb1940f8a91} 2) Second message Error in suplibOsInit 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. -------- Message original -------- Objet: Fwd: CosyVerif4imitator 2.7.1 Date: 2016-01-11 10:20 De: leprieur <leprieur@lipn.univ-paris13.fr> À: Herve Costantini <herve.costantini@lipn.univ-paris13.fr> Hervé, voici un lien vers un CosyVerif v1 qui doit être à jour . Cordialement Hugues -------- Message original -------- Objet: CosyVerif4imitator 2.7.1 Date: 2015-12-25 12:26 De: Fabrice Kordon <Fabrice.Kordon@lip6.fr> À: Laure Petrucci <Laure.Petrucci@lipn.univ-paris13.fr>, Étienne André <Etienne.Andre@lipn.fr>, Francis Hulin-Hubard <francis.hulin-hubard@lsv.ens-cachan.fr>, Hugues Leprieur <hugues.leprieur@lipn.univ-paris13.fr>, Alban Linard <alban.linard@lsv.ens-cachan.fr> Bonjour à tous, Mercredi, nous avons planché avec Francis sur la génération automatique d’une VM CosyVerif ne comportant pas le fameux bug dit «biodégradble» ;-). Ce matin, j’ai consacré un peu de temps à adapter mes scripts pour reconstruire un bundle correct pour une diffusion utile en cas d’utilisation de cet outil pour des TP en master ce printemps (j’espère que ce sera le cas ;-). Le tout est ici: https://cloud.lip6.fr/index.php/s/36MJeEsLxfGemEQ [1] Chez moi, tout semble bien se passer. J’aimerai bien que vous me dissiez ce qu’il en est dans un environnement vierge et sur les différentes architectures qui sont proposées. Bonnes fêtes à tous. A bientôt. Fabrice -------------------------------------------------------------------------------------- Fabrice Kordon Université Pierre & Marie Curie LIP6/MoVe, Bureau 26/25-212 4 place Jussieu, 75252 Paris Cedex 05 http://lip6.fr/Fabrice.Kordon/ [2] Links: ------ [1] https://cloud.lip6.fr/index.php/s/36MJeEsLxfGemEQ [2] http://lip6.fr/Fabrice.Kordon/ -- -- Ingénieur Hervé COSTANTINI +33(0)624236013 Maître de Conférences