Acabo de actualizar Ubuntu 15.04 de 64 bits a Ubuntu 15.10 de 64 bits. Leí que 15.10 estaba usando el kernel 4.1 o 4.2, pero noté que mi kernel no se actualizó.
Cuando escribo en la terminal uname -r
, me sale3.19.0-18-generic
Lo mismo en GRUB: el único núcleo que puedo elegir es 3.19.0-18
¿Alguien puede explicar cómo actualizar el kernel?