Eu quero rodar o Pin (Simulador da Intel), mas ele não é suportado na versão do Kernel 4.2, então eu deveria alterá-lo para o 3.13 que funciona com certeza.
EurodeioUbuntu14.04LTS(32bit)noVirtualBoxeseguiasinstruçõesqueencontrei
[e
Masquandoeutenteiexecutaropinvi"E: 4.2 não é uma versão linux suportada".
Você poderia me ajudar por favor?
É muito fácil fazer downgrade do kernel no 14.04.
Executar no terminal
sudo apt-get install linux-generic
Em seguida, remova todos os pacotes de imagem e cabeçalho do kernel 4.2 usando o Synaptic.
Como opção, você pode deixar os kernels 4.2 e inicializar com 3.13 usando o grub.
De acordo com suas capturas de tela, você já possui um kernel 3.13 instalado.
Instale com:
sudo apt-get install linux-image-3.0.0-12-generic linux-headers-3.0.0-12-generic
e remova todos os pacotes de imagem e cabeçalho do kernel 4.2 usando o Synaptic.