Ayer mismo se publico la quinta versión de mantenimiento del kernel 4.12, siendo esta la 4.12.5, la cual explicaremos como instalar en su versión normal y la de baja latencia.
Información útil:
Novedades: En esta versión de mantenimiento podemos encontrarnos como elementos destacados la actualización de drivers AmdGPU y Nvidia y correcciones de bugs entre otros.
Para más información visita el anuncio oficial: Anuncio kernel 4.12.5.
Esta instalación es valida para Ubuntu, Mint y Debian para sistemas de 32 Bits, serían a través de una terminal con las siguientes ordenes, primero descargamos los paquetes:
Versión normal (32bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205_4.12.5-041205.201708061334_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205-generic_4.12.5-041205.201708061334_i386.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-image-4.12.5-041205-generic_4.12.5-041205.201708061334_i386.deb
Versión de baja latencia para el kernel (lowlatency) (64bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205_4.12.5-041205.201708061334_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205-lowlatency_4.12.5-041205.201708061334_i386.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-image-4.12.5-041205-lowlatency_4.12.5-041205.201708061334_i386.deb
Y finalmente, los instalamos con:
$ sudo dpkg -i linux-headers-4.12.5*.deb linux-image-4.12.5*.deb
Para su instalación en sistemas de 64 Bits, descargamos con:
Versión normal (64bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205_4.12.5-041205.201708061334_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205-generic_4.12.5-041205.201708061334_amd64.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-image-4.12.5-041205-generic_4.12.5-041205.201708061334_amd64.deb
Versión de baja latencia para el kernel (lowlatency) (64bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205_4.12.5-041205.201708061334_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-headers-4.12.5-041205-generic_4.12.5-041205.201708061334_amd64.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.5/linux-image-4.12.5-041205-lowlatency_4.12.5-041205.201708061334_amd64.deb
E instalamos también con:
$ sudo dpkg -i linux-headers-4.12.5*.deb linux-image-4.12.5*.deb
Reiniciamos el sistema, y seleccionamos la versión con la que queramos iniciar en el GRUB o BURG.
Fuente: Kernel - Ubuntu.