¿Cómo instalo los archivos de encabezado del kernel?

78

quiero escribir un controlador de dispositivo pero no puedo encontrar el archivo de encabezado. ¿Puede alguien ayudarme a encontrarlo? También si alguien puede señalar algunos enlaces importantes del sitio que serían realmente apreciados

    
pregunta coder 05.11.2011 - 10:00

5 respuestas

106

Debería poder instalar los archivos de encabezado del núcleo para el kernel en ejecución ejecutando lo siguiente en un terminal:

sudo apt-get install linux-headers-$(uname -r)

En general, los paquetes de encabezado kernel se llaman linux-header- * donde "*" indica la versión & amp; variante (genérico, servidor, etc.).

    
respondido por el JanC 05.11.2011 - 19:39
77

Puedes escribir:

sudo apt-get install linux-headers-generic

si está en una instalación de escritorio. El apt-get resolverá las dependencias e instalará la versión correcta de los encabezados del kernel.

    
respondido por el Alexandre Teles 17.03.2013 - 00:01
13

Esto debería cubrir otro problema cuando: el kernel en ejecución está obsoleto, lo que significa que ya no está en el repositorio ni en sus encabezados. Entonces, lo mejor es actualizar el kernel a la última versión en el repositorio.

linux-generic es un meta paquete para mantener la versión actual de kernel & amp; sus encabezados :

sudo apt-get update
sudo apt-get install linux-generic

Nota: Dependiendo de su edición de Ubuntu, vea si necesita linux-lowlatency (Ubuntu Studio), linux-signed-generic o linux-virtual .

    
respondido por el user.dz 09.05.2014 - 15:57
0

O si tiene aptitude instalado: sudo aptitude install linux-headers-$(uname -r)

    
respondido por el user1527227 15.03.2014 - 02:46
-1

estos comandos deberían funcionar:

sudo apt-get dist-upgrade -y
systemctl reboot
sudo apt-get install linux-headers-$(uname -r)
sudo apt-get upgrade linux-headers-$(uname -r)

para obtener una mejor instrucción, consulte este video

    
respondido por el Zen Alex 12.02.2018 - 22:53

Lea otras preguntas en las etiquetas