#1 Le 18/02/2009, à 14:47
- Miles Prower
[Résolu] VirtualBox sur un kernel RealTime
Bonjour,
J'aimerais utiliser VirtualBox avec ma version courante de Ubuntu (8.04) tournant avec un noyaux RealTime.
Au démarrage, VBox me signale :
VirtualBox kernel driver not installed. The vboxdrv kernel module was either not loaded or /dev/vboxdrv was not created for some reason. Re-setup the kernel module by executing '/etc/init.d/vboxdrv setup' as root.
VBox status code: -1908 (VERR_VM_DRIVER_NOT_INSTALLED).
Code de résultat :
0x80004005
Composant :
Console
Interface :
IConsole {d5a1cbda-f5d7-4824-9afe-d640c94c7dcf}
Classique. Je lance donc un sudo /etc/init.d/vboxdrv setup pour régler ça, mais le résultat est troublant :
miles@atelier:~$ sudo /etc/init.d/vboxdrv setup * Stopping VirtualBox kernel module * done.
* Recompiling VirtualBox kernel module
* Look at /var/log/vbox-install.log to find out what went wrong
Bon, bah, regardons ce fichier de log :
Makefile:127: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Arrêt.
Il me faudrait lui indiquer les sources du noyau RealTime.
miles@atelier:~$ uname -a
Linux atelier 2.6.24-23-rt #1 SMP PREEMPT RT Thu Feb 5 16:53:11 UTC 2009 i686 GNU/Linux
Où est-ce que ça se trouve ?
Dernière modification par Miles Prower (Le 18/02/2009, à 22:16)
I wanna fly high
So I can reach the highest of all the heavens
Somebody will be
Waiting for me, so I have gotta fly higher.
Hors ligne
#2 Le 18/02/2009, à 18:19
- Peck
Re : [Résolu] VirtualBox sur un kernel RealTime
La question est où as-tu trouvé ton noyau ? Les sources doivent se trouver avec.
Hors ligne
#3 Le 18/02/2009, à 19:27
- Miles Prower
Re : [Résolu] VirtualBox sur un kernel RealTime
Dans le métapaquet ubuntustudio-desktop
I wanna fly high
So I can reach the highest of all the heavens
Somebody will be
Waiting for me, so I have gotta fly higher.
Hors ligne
#4 Le 18/02/2009, à 19:57
- Peck
Re : [Résolu] VirtualBox sur un kernel RealTime
Donc c'est des paquets ubuntu, soit les sources sont en paquet binaire comme pour la plupart des noyaux :
# tu peux aussi essayer header à la place de source, ca suffit souvent pour les applications
apt-cache search linux source
S'il n'est pas en paquet binaire, tu as les sources en paquet source (vérifier ta ligne deb-src dans /etc/apt/sources.list) :
apt-get source linux-image-XXX
Hors ligne
#5 Le 18/02/2009, à 20:21
- max edroume
Re : [Résolu] VirtualBox sur un kernel RealTime
T'utilises quelle version de Vbox? La version 1.5.6 OSE?
#6 Le 18/02/2009, à 22:16
- Miles Prower
Re : [Résolu] VirtualBox sur un kernel RealTime
VirtualBox 1.6.2 (normal, et pas OSE)
Résolu avec l'installation des paquets :
→ linux-headers-2.6.24-23-rt
→ linux-headers-2.6.24-23-386
(le premier devrait suffir)
Merci
Dernière modification par Miles Prower (Le 18/02/2009, à 22:17)
I wanna fly high
So I can reach the highest of all the heavens
Somebody will be
Waiting for me, so I have gotta fly higher.
Hors ligne