Capítulo 10. Debian e o kernel.

# Capítulo 10. Debian e o kernel.

## 10.1. Posso instalar e compilar um kernel sem os ajustes específicos de Debian?

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.

## 10.2. Que ferramentas Debian fornece para compilar kernels personalizados?

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).

## 10.3. Que provisões especiais Debian fornece para lidar com módulos?

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).

## 10.4. Posso desinstalar em segurança um pacote antigo de kernel, e se sim, como?

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)

## 10.5. Onde posso obter mais informação acerca de pacotes Linux para Debian?

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

Capítulo 9. Manter o seu sistema Debian actualizado |  | Capítulo 11. Personalizar o seu sistema Debian GNU/Linux