Debian es una distribución de GNU/Linux Universal de la cual nacen muchas otras distribuciones muy populares como Ubuntu. En este tutorial vamos a aprender como mantener esta fantástica distribución a la ultima actualizando el Kernel.

Primero debemos añadir los repositorios backports, para ello lanzamos la aplicación de "Software y Actualizaciones"

Pulsamos a Añadir... (Add...) e introducimos la dirección del paquete y pulsamos "Añadir origen", en nuestro caso esta:

deb http://ftp.debian.org/debian stretch-backports main

Una vez realizado este paso deberíamos ver algo así:

Una vez pulsemos "Cerrar" el programa nos pedirá si queremos refrescar la lista de aplicaciones, pulsamos en Recargar.

Una vez completado ya hemos añadido los repositorios backports con éxito. Ahora toca instalar el nuevo Kernel.

Abrimos una terminal e introducimos el siguiente comando:

sudo apt -t stretch-backports upgrade -y

Una vez completada la instalación reiniciamos nuestro equipo, y Debian ya debería cargar el nuevo Kernel.