Hi!
Ich habe ein Debian Etch 4.0, installiert von DVD, läuft rund.
Möchte virtualbox installieren und es werden fehlende kernel headers moniert.
Und da hackt ´s bei mir: Wie werden kernelheaders installiert? Kann ja nicht so schwer sein, aber ....
Verweis auf ein Howto oder ein wiki wäre ideal.
vielen dank! Peter
Linux 14.981 Themen, 106.344 Beiträge
Headerdateien sind ein Teile vom Programmcode eines C oder C++ Programmes. In diesem Fall ist es ein Teil des Programcodes vom Linux Betriebsystemkern.
Im Programmcode sind Präprozessoranweisungen wie "include stdio.h" und dadurch wird vom Präprozessor diese Headerdatei in den Programmtext hineinkopiert .
Deshalb muß man auch diese Headerdateien installieren.
Du gibst in der Konsole den Befehl "uname -r" ein:
uname -r
2.6.18
Danach wird die Version des laufenden Linuxkernels angezeigt. Ich habe hier auch etch und da wird ein 2.6.18er Kernel installiert.
Dann startest du aptitude oder synaptic und sucht nach kernel-headers. Du kannst aber auch apt nutzen:
apt-cache search kernel-headers
linux-kernel-headers - Linux Kernel Headers for development
und dann mit:
"apt-get install linux-kernel-headers" diese Headerdateien
installieren.
Wenn du später mal einen eigenen Betriebsystemkern übersetzt, dann sind beim Programmcodes des Betriebsystemkerns (linux-source-2.6.18 - Linux kernel source for version 2.6.18 with Debian patches) schon die passenden Headerdateien dabei und brauchen nicht noch extra installiert zu werden.
Die Headerdateien werden automatisch unter /usr/src/ installiert.
Ich würde VMware Workstation bevorzugen.
