Tente ver este link . Parece que o Ubuntu está oferecendo o kernel principal não modificado (espero que seja isso que você quer dizer com o kernel do Vanilla).
Eu quero instalar o kernel vanilla do Ubuntu 10.10, através do pacote .deb, mas ele não está compilando.
O que está errado? Existe um PPA?
Por favor, ajude!
Tente ver este link . Parece que o Ubuntu está oferecendo o kernel principal não modificado (espero que seja isso que você quer dizer com o kernel do Vanilla).