Hoofdstuk 10. Debian en de kernel

# Hoofdstuk 10. Debian en de kernel

## 10.1. Kan ik een kernel installeren en compileren zonder bepaalde Debian-specifieke afstellingen?

Ja.

Er is enkel een gebruikelijke valkuil: De C-bibliotheken van Debian worden gebouwd met de recentste stabiele release van de kernel-headers. Mocht u echter een programma moeten compileren met recentere kernel-headers dan die van de stabiele tak, dan moet u ofwel het pakket dat de headers bevat (`linux-libc-dev`), opwaarderen, ofwel de nieuwe headers gebruiken uit de uitgepakte boomstructuur van de recentere kernel. Dit wil zeggen dat als de kernelbroncode zich in `/usr/src/linux` bevindt, u bij het compileren `-I/usr/src/linux/include/` moet toevoegen aan uw commandoregel.

## 10.2. Welke gereedschappen stelt Debian ter beschikking om een aangepaste kernel te bouwen?

Gebruikers die een aangepaste kernel willen (of moeten) bouwen, worden aangemoedigd om er het daarvoor bedoelde Debian-pakket te gebruiken dat recente versies van het bouwsysteem voor de kernel bevat. Nadat u de kernel geconfigureerd heeft, moet u gewoon de volgende opdracht geven:

    make deb-pkg

Het nieuwe kernelpakket zal aangemaakt worden in de map net boven de mappenboom van de kernelbroncode en het kan geïnstalleerd worden met `dpkg -i`.

Gebruikers moeten de broncode van de meest recente kernel (of de kernel van hun keuze) apart downloaden van hun favoriete Linux-archiefsite, tenzij er een pakket beschikbaar is met de naam `linux-source-`versie`` (waarbij `versie` staat voor de kernelversie).

## 10.3. Welke bijzondere voorzieningen stelt Debian ter beschikking voor het omgaan met modules?

Er wordt in het bestand `/etc/modules` een configuratie bijgehouden met de modules die bij het opstarten handmatig geladen moeten worden. Het bewerken van dit bestand is evenwel slechts zelden nodig.

Overige module-configuratie wordt bijgehouden in de map `/etc/modprobe.d/`. Meer informatie over de indeling van deze bestanden is te vinden in de man-pagina modprobe.conf(5).

## 10.4. Kan ik een oud kernel-pakket veilig de-installeren, en zo ja, hoe?

Ja. Het script linux-image-`NNN`.prerm controleert of de kernel die u momenteel gebruikt dezelfde is als die welke u tracht te de-installeren. Daardoor kunt u ongewenste pakketten met een kernel-image verwijderen met dit commando:

    dpkg --purge linux-image-NNN

(vervang uiteraard `NNN` door het versie- en revisienummer van uw kernel)

## 10.5. Waar vindt ik meer informatie over Linux-pakketten voor Debian?

Bijkomende informatie wordt bijgehouden in het Debian Linux Kernel Handbook.

Hoofdstuk 9. Uw Debian-systeem up-to-date houden |  | Hoofdstuk 11. Uw Debian GNU/Linux-systeem aanpassen