Kernel(not the one i want!)

Issues & Assistance
2

You have to set the default kernel after you download it.

Edit the Grub config file usually in /etc/default/grub with nano or some other editor. I run things slightly modified, but mine looks like this (this just saves the last kernel entry because I'm lazy):

GRUB_DISABLE_SUBMENU=y
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true

Then you just have to regenerate the grub to enable it.

sudo grub-mkconfig -o /boot/grub/grub.cfg

If you want to use a specific one you could change savedefault to false and put the specific kernel in default.

3 Likes