Ketchup é uma ferramenta para gerenciar os fontes do Kernel Linux. Essa pequena ferramenta pode checar a versão do kernel, buscar novos patches do kernel, tornando fácil o processo de checagem e aplicação de novas correções em seu sistema. O ketchup sincroniza o kernel local com o kernel.org.
Para instalar basta baixar os fontes no site http://www.selenic.com/ketchup/ ou se você estiver usando o Debian como eu:
aptitude install ketchup
Usando o Ketchup
Descobrindo a última versão do kernel da serie 2.6
ketchup -s 2.6
Agora da serie 2.4
ketchup -s 2.4
Checando a versão do kernel no Makefile dos fontes
ketchup -m
Atualizando pelo última versão
ketchup 2.6-tip
Encontrando uma url de uma determinada versão
ketchup -u 2.6
Atualizando uma versão em particular
ketchup 2.6.11-rc3
Maiores informações : http://www.selenic.com/ketchup