Esta página deve ajudar: wiki.ubuntu.com/Kernel/BuildYourOwnKernel
-
Você pode baixar o pacote fonte do kernel que você quer (por exemplo,
apt-get source linux-image-$(uname -r)
) ao invés de usar um kernel do Git -
O GRUB faz isso por você. Se você usar o pacote fonte, você receberá um pacote
.deb
, que estará automaticamente disponível no seu menu GRUB.