apt-get
De Debian :
% bl0ck_qu0te%Para obter as atualizações mais recentes dos pacotes instalados, faça o seguinte:
sudo apt-get update; sudo apt-get upgrade
O comando
sudo apt-get install linux-headers-generic-xxx
instalará o kernel específico para a versão que você especificar no lugar de xxx