2.7.2 Gli strumenti per compilare un kernel personalizzato.

Gli utenti che desiderano (o devono) compilare un kernel personalizzato, sono incoraggiati a scaricare il pacchetto kernel-package. Il pacchetto contiene lo script per compilare il pacchetto del kernel e fornisce le capacit� di creare un pacchetto Debian kernel-image, semplicemente dando il comando

     # make-kpkg kernel_image

dalla directory principale del kernel sorgente. L'aiuto � disponibile dando il comando

     # make-kpkg --help

o tramite la pagina di manuale make-kpkg(8) e Il kernel Linux su Debian, Capitolo 7.

L'utente deve scaricarsi a parte il sorgente per il kernel, sia esso il pi� recente o quello di scelta, dall'archivio Linux preferito, a meno che un pacchetto kernel-source-version non sia disponibile (dove version sta per la versione del kernel). Lo script di boot Debian initrd richiede una speciale patch del kernel, chiamata initrd; vedere https://bugs.debian.org/149236.

Le istruzioni dettagliate per usare il pacchetto kernel-package sono fornite nel file /usr/share/doc/kernel-package/README.gz.