How do I change my default kernel?

General system Kernel, boot, graphics & hardware
1

Running KDE. Off chaotic aur I’ve installed linux-cachyos and linux-cachyos-headers
From regular aur I’ve installed linux-cachyos-bore and linux-cachyos-bore-headers

At this point I’m still unsure if I still should add the CachyOS mirrors or not since I installed em off the aur and chaotic aur. I’ve no idea how to mess with editing my GRUB or its config to change default + making the preferred priority as which one it’ll boot into by default.

akm didn’t show linux-cachyos-bore nor linux-cachyos-bore-headers

2

In the future, before you try something that can break your system, find out all the steps, not just the first one.

Also, a new kernel install usually makes it the default kernel after updating your bootloader (at least for GRUB, or maybe that’s just my system?).

Have you actually rebooted since installing them?

PS: I didn’t check the steps of the guide myself, but these guys usually follow the Arch Wiki anyway, so it’s likely to be correct.

EDIT: A more up-to-date guide, though not much has changed when it comes to kernel installation, and switching between them.

3 Likes
3

Why do you need/want to change the default? You can choose the preferred kernel via the GRUB boot menu.

The following might be helpful:

GRUB 2 boot menu basics and how to add a custom splash image

4

You can set the GRUB_TOP_LEVEL variable in /etc/default/grub to achieve this, as described in this topic: New Grub option GRUB_TOP_LEVEL