Después de asegurarme de que se instalaron los archivos de encabezado de Linux adecuados para mi kernel, crear manualmente enlaces simbólicos, instalar build-essential y básicamente seguir todos los consejos a los que se vinculó aquí , seguía recibiendo un error que decía que la ruta a los encabezados de Linux no era válida .
Después de hacer un sudo apt-get update
, resulta que había una versión más nueva de los encabezados de Linux disponible de lo que se informó anteriormente. La actualización del paquete de encabezados actualmente instalado a la última versión solucionó el problema, y la herramienta de configuración VMWare pudo encontrar los encabezados. En mi caso, los paquetes que debían actualizarse eran linux-headers-generic-pae
y linux-generic-pae
.