Ayer mismo se publico la tercera versión de mantenimiento del kernel 4.12, siendo esta la 4.12.3, 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 y correcciones de bugs.
Para más información visita el anuncio oficial: Anuncio kernel 4.12.3.
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.3/linux-headers-4.12.3-041203_4.12.3-041203.201707210343_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203-generic_4.12.3-041203.201707210343_i386.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-image-4.12.3-041203-generic_4.12.3-041203.201707210343_i386.deb
Versión de baja latencia para el kernel (lowlatency) (64bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203_4.12.3-041203.201707210343_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203-lowlatency_4.12.3-041203.201707210343_i386.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-image-4.12.3-041203-lowlatency_4.12.3-041203.201707210343_i386.deb
Y finalmente, los instalamos con:
$ sudo dpkg -i linux-headers-4.12.3*.deb linux-image-4.12.3*.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.3/linux-headers-4.12.3-041203_4.12.3-041203.201707210343_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203-generic_4.12.3-041203.201707210343_amd64.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-image-4.12.3-041203-generic_4.12.3-041203.201707210343_amd64.deb
Versión de baja latencia para el kernel (lowlatency) (64bits):
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203_4.12.3-041203.201707210343_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-headers-4.12.3-041203-lowlatency_4.12.3-041203.201707210343_amd64.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v4.12.3/linux-image-4.12.3-041203-lowlatency_4.12.3-041203.201707210343_i386.deb
E instalamos también con:
$ sudo dpkg -i linux-headers-4.12.3*.deb linux-image-4.12.3*.deb
Reiniciamos el sistema, y seleccionamos la versión con la que queramos iniciar en el GRUB o BURG.
Fuente: Kernel - Ubuntu.