Kernel en Debian
En debian se puede actualizar el kernel apropiado para la arquitectura de tu ordenador simplemente descargándolo:
apt-get install kernel-image-2-4.18-k7
El paquete kernel-package permite crear una imagen del kernel muy sencilla con:
make-kpkg kernel_image
Para más información para crear kernels al modo Debian deb, pulse {[jump="http://newbiedoc.sourceforge.net/system/kernel-pkg.es.html"] aquí }}
También empaqueta los "kernel headers" relevantes dentro en un kernel-headers package. Esto permite compilar núcleos para máquinas lentas e instalarlos sin problemas.