
Publicado inicialmente por
ferminator
Hola, que tal ...
En Debian/Ubuntu es muy sencillo ...
Buscar los headers para la versión actual en uso:
#apt-cache search linux-headers-$(uname -r)
e instalarlos :
#apt-get install linux-headers-$(uname -r)
Salu2.
Fermin
admin@open-matrix.es
Ya me los había bajado los de ahí pero no me sirvió, pero gracias igualmente

Publicado inicialmente por
dnight
Hola,
No tienes que formatear el dedicado para cambiarle el kernel.
Simplemente instala el oficial, cambia el bootloader para que arranque con el nuevo y ya está.
Saludos.
Gracias, no sabia que podía hacer esto, jejejeje ^.^", sera la acción que haré seguramente
Gracias a los 2 por las respuestas!