Atualização para 13.10 e cabeçalhos de linux misturados (kernel: 3.8.0-32-genérico, cabeçalhos: 3.11.0-12-genérico)

Question

Eu atualizei para 13.10 de 13.04 e tenho problemas com cabeçalhos linux.

esta é a versão do kernel:

uname -a 
Linux xxx-dell 3.8.0-32-generic #47-Ubuntu SMP Tue Oct 1 22:35:23 UTC 2013 x86_64 x86_64 x86_64 GNU/Li

e esses são cabeçalhos instalados:

dpkg -l | grep headers
linux-headers-3.11.0-12                   3.11.0-12.19
linux-headers-3.11.0-12-generic           3.11.0-12.19

Eu tentei instalar cabeçalhos para 3.8, mas isso termina com erro:

sudo apt-get install linux-headers-3.8.0-32-generic
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Package linux-headers-3.8.0-32-generic is not available, but is referred to by another package.

Como posso baixar os cabeçalhos correspondentes para o meu kernel? É possível que o processo de atualização não tenha sido atualizado para a última versão do kernel?

    

Answer 1

Parece que o pacote foi deixado de fora do repositório picante. Para o que vale a pena eu baixei manual destes links e instalado.

link

link