nouvo09 wrote:Oui
avec virtualbox par exemple.
J'ai essayé le VirtuaBOx qui est déja installé, mais ca coince avec mon kernel 3.12.8-200.fc19.x86_64 qui emet un message erreur pour la commande:
/etc/init.d/vboxdrv setup
Stopping VirtualBox kernel modules [ OK ]
Uninstalling old VirtualBox DKMS kernel modules [ OK ]
Trying to register the VirtualBox kernel modules using DKMSError! echo
Your kernel headers for kernel 3.12.8-200.fc19.x86_64 cannot be found at
/lib/modules/3.12.8-200.fc19.x86_64/build or /lib/modules/3.12.8-200.fc19.x86_64/source.
[FAILED]
(Failed, trying without DKMS)
Recompiling VirtualBox kernel modules [FAILED]
(Look at /var/log/vbox-install.log to find out what went wrong)
j'ai donc fait un update du kernel pour le 3.12.9-201.fc19 mais la machine ne veut plus booter. J'aimerais essayer ce VirtualBox car il correspond exactement a mes besoins, alors si vous avez une idée comment régler ce problème ca m'arrangerait beaucoup.
Merci de votre aide.