cabeçalhos de Linux genéricos

1

Eu tenho um problema com os cabeçalhos linux, quando eu uso o comando uname para verificar minha versão é diferente da versão em usr / src /. Eu tentei baixar (com a exclusão da versão atual), mas não consegui porque a versão é antiga. A raiz do problema é que não consigo iniciar o virtualbox o vmware porque esse motivo. Espero que você possa me ajudar. Obrigado!

uname -r
3.13.0-35-generic

VmWare
Kernel headers for version 3.13.0-35-generic not found

usr/src$ ls
linux  linux-headers-3.16.0-24  linux-headers-3.16.0-24-generic

/boot$ ls
abi-3.13.0-35-generic  config-3.13.0-35-generic  grub                             initrd.img-3.16.0-24-generic  memtest86+.elf            System.map-3.13.0-35-generic  vmlinuz-3.13.0-35-generic
abi-3.16.0-24-generic  config-3.16.0-24-generic  initrd.img-3.13.0-35-generic  memtest86+.bin                memtest86+_multiboot.bin  System.map-3.16.0-24-generic  vmlinuz-3.16.0-24-generic

Adicionado Boot ls

    
por Jorge Gómez 21.11.2014 / 23:16

3 respostas

1

se você excutar o comando sudo update-grub , ele atualizará sua lista de inicialização do grub para apontar para o kernel 3.16.0-35, portanto, será o kernel padrão.

o que você tem é um caso em que você inicializou usando 3.13 ao invés do kernel "latest on your machine" que é 3.16.0-24

    
por younes 21.11.2014 / 23:45
0

Você está atualmente executando um kernel 3.1 3 para o qual o suporte foi encerrado há muito tempo. Tente instalar o pacote linux-generic , que incluirá uma imagem do kernel e cabeçalhos que correspondem um ao outro. Então reinicie.

    
por Lekensteyn 21.11.2014 / 23:23
0

Você precisa baixar os cabeçalhos do kernel. Pelo que vejo no meu Ubuntu, existe um pacote adequado:

linux-headers-3.13.0-35-generic - cabeçalhos do kernel do Linux para a versão 3.13.0 em SMP x86 de 32 bits

O apt-cache search linux-headers deve mostrar o que está disponível

apt-get install linux-headers-3.13.0-35-generic

deve ajudá-lo a obter os cabeçalhos de linux apropriados, eu acho.

Ou - talvez melhor - atualize também seu kernel e obtenha cabeçalhos e fontes adequados para ele.

    
por Jacek 21.11.2014 / 23:24