Capítulo 10. Debian e o kernel.

Sim.

Só existe uma situação comum: As bibliotecas C Debian são compiladas com o lançamento stable mais recente dos cabeçalhos de kernel. Se você precisar de compilar um programa com cabeçalhos de kernel mais recentes que aqueles do ramo stable, então você deve ou actualizar o pacote que contém os cabeçalhos (linux-libc-dev), ou usar os novos cabeçalhos de uma árvore desempacotada do novo kernel. Isto é, se as fontes do kernel estiverem em /usr/src/linux, então você deve adicionar -I/usr/src/linux/include/ à sua linha de comandos quando compilar.

Os utilizadores que desejem (ou precisem) de compilar um kernel personalizado são encorajados a usar o alvo de pacote Debian incluído com as versões recentes do sistema de compilação de kernel. Após configurar o kernel, simplesmente corra o seguinte comando:

make deb-pkg

O novo pacote de kernel será criado no directório um nível acima da árvore fonte do kernel, e pode ser instalado usando dpkg -i.

Os utilizadores têm de descarregar separadamente o código fonte do kernel mais recente (ou do kernel da sua escolha) a partir do seu site de arquivo de Linux favorito, a menos que um pacote linux-source-versão esteja disponível (onde versão representa a versão do kernel).

Um ficheiro de configuração que contem módulos a serem carregados manualmente durante o arranque do sistema é mantido em /etc/modules. No entanto, raramente é necessário editar este ficheiro.

Outras configurações de módulos são mantidas no directório /etc/modprobe.d/. Mais informação acerca do formato desses ficheiro pode ser encontrada no manual de modprobe.conf(5).

Sim . O script linux-image-NNN.prerm verifica se o kernel que está actualmente a correr é o mesmo kernel que está a querer desinstalar. Assim você pode remover pacotes de imagem de kernel não desejados usando este comando:

dpkg --purge linux-image-NNN

(substitua NNN pela sua versão de kernel e número de revisão, claro)

Mais informação é mantida em Debian Linux Kernel Handbook.