Descargar kernel (https://www.kernel.org/).
- Descomprimir en /usr/src/
asdasd
- * ingresar al directorio * limpiar directorio:
- make distclean make clean
* copiar configuación vieja: cp /boot/config-xxx /usr/src/linux-yyy/.config * configurar opciones (mostrando las nuevas): make oldconfig * deshabilitar debug kernel info en .config (evitará generar una imagen linux-dbg): CONFIG_DEBUG_INFO=n * borrar referencia a keys: CONFIG_SYSTEM_TRUSTED_KEYS="" * compilar y generar paquete .deb: make deb-pkg * instalar nuevo kernel (actualiza el grub): dpkg -i linux-yyy.deb * reinicier con el nuevo kernel
* referencia: https://kernel-team.pages.debian.net/kernel-handbook/ch-common-tasks.html#s-common-building