[gelöst] Kernel-Source für VirtualBox???

Welches Modul/Treiber für welche Hardware, Kernel compilieren...
Antworten
Benutzeravatar
martinelli
Beiträge: 192
Registriert: 18.07.2005 07:00:26
Lizenz eigener Beiträge: GNU General Public License
Wohnort: RW

[gelöst] Kernel-Source für VirtualBox???

Beitrag von martinelli » 16.02.2008 18:49:53

Hallo,

seit der Installation des aktuellen Kernels 2.6.18-6_amd64 via Synaptic (Debian Etch) startet Virtual Box (V1.5.4) nicht mehr: "Unable to find a precompiled module for the current kernel" lautet die Fehlermeldung. Mit Kernel 2.6.18-5_amd64 lief es einwandfrei. Das Ausführen von "/etc/init.d/vboxdrv setup", zu dem ich aufgefordert werde, läuft auch gegen die Wand, ich möchte doch bitte schön die passende kernel-source installieren. Nun gibt Debian dazu aber nichts her, d. h. ich kann nichts Installierbares finden mit Synaptic und der Pfad dorthin, den Virtual Box unter /etc/default/virtualbox eingetragen sehen möchte, lässt sich überhaupt nicht angeben, da es die Datei (virtualbox) nicht gibt.

Sieht vielleicht eher nach einem Virtualbox-Problem aus, aber wie ist das mit den kernel-sourcen unter Debian, falls ich es damit lösen kann?

Ich hoffe, das Posting ist hier richtig, ist ja auch (oder hauptsächlich) eine Frage zum Kernel ...

Danke im Voraus für die Hilfe zum Problem!
martinelli
Zuletzt geändert von martinelli am 24.02.2008 16:00:18, insgesamt 1-mal geändert.

Benutzeravatar
a.b.
Beiträge: 190
Registriert: 28.11.2007 16:47:46
Kontaktdaten:

Beitrag von a.b. » 16.02.2008 19:11:17

Da musst du irgendein Modul laden, versuch mal "modprobe virtualbox" oder "modprobe vboxdrv"

Benutzeravatar
martinelli
Beiträge: 192
Registriert: 18.07.2005 07:00:26
Lizenz eigener Beiträge: GNU General Public License
Wohnort: RW

Beitrag von martinelli » 16.02.2008 19:26:05

genau das schlägt beim Booten schon fehl und wenn ich dann manuell 'rangehe ... siehe mein Posting ...

Benutzeravatar
martinelli
Beiträge: 192
Registriert: 18.07.2005 07:00:26
Lizenz eigener Beiträge: GNU General Public License
Wohnort: RW

Beitrag von martinelli » 16.02.2008 19:26:27

genau das schlägt beim Booten schon fehl und wenn ich dann manuell 'rangehe ... siehe oben ...

Benutzeravatar
martinelli
Beiträge: 192
Registriert: 18.07.2005 07:00:26
Lizenz eigener Beiträge: GNU General Public License
Wohnort: RW

Beitrag von martinelli » 16.02.2008 19:26:49

genau das schlägt beim Booten schon fehl ...

oh je, wie so denn so oft ... :-(

dillo
Beiträge: 361
Registriert: 28.05.2005 19:53:56

Beitrag von dillo » 16.02.2008 20:04:07

du musst die header für den laufenden Kernel installieren (linux-headers-2.6-amd64 (2.6.18+6etch3)) und dann das Modul vboxdrv neu bauen und installieren

Code: Alles auswählen

cd /usr/share/virtualbox/src/
make && make install 

Benutzeravatar
cirrussc
Beiträge: 6582
Registriert: 26.04.2007 19:47:06
Lizenz eigener Beiträge: MIT Lizenz

Beitrag von cirrussc » 16.02.2008 21:35:32

Hi,

Code: Alles auswählen

cd /usr/share/virtualbox/src/
make && make install 
Geht schneller mit:

Code: Alles auswählen

/etc/init.d/vboxdrv setup
Gruß cirrussc
--------------------
„Der Mensch steigert zur Zeit die Nutzung dessen, was seiner Willkür unterliegt - und kommt sich sehr klug dabei vor.“ H. Gruhl

Clio

Beitrag von Clio » 17.02.2008 15:39:12

Tja, und genau dazu gibt es doch schon einen Thread:
http://www.debianforum.de/forum/viewtop ... highlight=

Benutzeravatar
martinelli
Beiträge: 192
Registriert: 18.07.2005 07:00:26
Lizenz eigener Beiträge: GNU General Public License
Wohnort: RW

Beitrag von martinelli » 24.02.2008 15:59:51

Hallo dillo, hallo cirrussc,

danke für die Hilfe, es ist jetzt ok. Allerdings bin ich zeitlich nicht dazu gekommen, euren Tipp umzusetzen; heute kam aber für Virtualbox ein Update, das das von mir geschilderte Problem löst. Manchmal muss man die Dinge nur eine Weile liegen lassen und sie lösen sich von alleine ... ;-)

Trotzdem noch einmal herzlichen Dank!

Gruß
martinellil

Antworten