Kernel Pré-Compilado

Pessoal,

Alguém sabe algum site onde posso encontrar Kernel pré-compilado?
Tentei compilar o kernel 2.6.12 no RedHat 9 e tive alguns problemas.
Agora vou tentar instalar um pré-compilado.

Valeu...