Cómo instalar archivos de encabezado del kernel en Linux

Cuando compilas un módulo de controlador de dispositivo, necesitas instalar los archivos de encabezado del kernel en el sistema. Los archivos de encabezado del kernel también son necesarios cuando se compilan programas de espacio de usuario que se vinculan directamente con el kernel. Cuando instala encabezados del kernel en estos casos, debe asegurarse de que los encabezados del kernel coincidan exactamente con su versión actual del kernel (por ejemplo: 3.13.0-24-generic).

Si su kernel es la versión del kernel que viene con la distribución, o se actualizó usando el repositorio básico del administrador de paquetes predeterminado (como apt-ger, aptitude o yum), también puede usar la administración de paquetes. para instalar los archivos de encabezado del kernel. Por otro lado, si descargó el código fuente del kernel y lo compiló manualmente, puede usar el comando make para instalar los archivos de encabezado del kernel correspondientes.

Ahora asumimos que su kernel viene con la distribución, veamos cómo instalar los archivos de encabezado correspondientes.

Instalación de encabezados del kernel en Debian, Ubuntu o Linux Mint

Suponiendo que no compiló el kernel manualmente, puede usar el comando apt-get para instalar los encabezados del kernel coincidentes.

Primero, utilice el comando dpkg-query para comprobar si hay archivos de encabezado del kernel disponibles.

$ dpkg-query -s linux-headers-$(uname -r)

dpkg-query: el paquete 'linux-headers-3.11.0-26-generic' no es instalado y no hay información disponible

Luego use el siguiente comando para instalar los archivos de encabezado del kernel correspondientes.

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

Verifique si los archivos de encabezado se instalaron correctamente.

$ dpkg-query -s linux-headers-$(uname -r)

Paquete: linux-headers-3.11.0-26-generic

Estado: instalar bien instalado

Los archivos de encabezado predeterminados para Debian, Ubuntu y Linux Mint se encuentran en /usr/src.

Instalación de archivos de encabezado del kernel en Fedora, CentOS o RHEL

Suponiendo que no compiló el kernel manualmente, puede usar el comando yum para instalar los archivos de encabezado del kernel correspondientes.

Primero, utilice el siguiente comando para comprobar si el sistema ha instalado el archivo de encabezado. Si el siguiente comando no produce ningún resultado, significa que aún no hay ningún archivo de encabezado.

$ rpm -qa | grep kernel-headers-$(uname -r)

Luego use el comando yum para instalar los archivos de encabezado. Este comando buscará automáticamente los archivos de encabezado apropiados y los instalará.

$ sudo yum install kernel-headers

Verifique el estado de instalación del paquete.

$ rpm -qa | grep kernel-headers-$(uname -r)