
Respuesta1
Los paquetes de encabezados de Linux cambian su nombre con bastante frecuencia, a medida que aparecen versiones cada vez más nuevas del kernel.
Comience con un apt-get update
comando para actualizar sus listas de paquetes.
Luego, con un
apt-cache search linux-headers-
El comando obtiene una lista de los paquetes de encabezados del kernel que existen actualmente en los repositorios de paquetes. Obtendrá una lista de paquetes. Encuentre la que más le convenga (idealmente, la versión más alta) y finalmente instálela con el apt-get install linux-headers-4.56.76-kali-amd64
comando (las dos últimas partes de los números de versión son solo ejemplos).