Vamos explicar isso usando um exemplo ... inicialize com o kernel que você deseja manter, neste caso, o kernel 4.2.0-35
.
Para verificar quais versões do kernel estão atualmente instaladas, abra um terminal e execute:
dpkg --get-selections | grep linux
A saída neste exemplo mostra que os kernels 4.2.0-34
e 4.2.0-35
estão atualmente instalados.
linux-firmware install
linux-generic install
linux-headers-4.2.0-34 install
linux-headers-4.2.0-35 install
linux-headers-4.2.0-34-generic install
linux-headers-4.2.0-35-generic install
linux-headers-generic install
linux-image-4.2.0-34-generic install
linux-image-4.2.0-35-generic install
linux-image-extra-4.2.0-34-generic install
linux-image-extra-4.2.0-35-generic install
linux-image-generic install
linux-libc-dev:amd64 install
linux-signed-generic install
linux-signed-image-4.2.0-34-generic install
linux-signed-image-4.2.0-35-generic install
linux-signed-image-generic install
Supondo que o antigo kernel 4.2.0-34
seja removido, execute o seguinte comando:
sudo apt-get purge linux-headers-4.2.0-34 linux-headers-4.2.0-34-generic linux-image-4.2.0-34-generic linux-image-extra-4.2.0-34-generic linux-signed-image-4.2.0-34-generic