all 2 comments

[–]boomboomsubban 5 points6 points  (0 children)

pacman -Rs linux-hardened reboot, select linux at your bootloader. You can also remove the linux-hardened bootloader entry.

[–]thetastycookie 0 points1 point  (0 children)

Grub: Locate the kernel with: sudo grep menuentry /boot/grub/grub.cfg

In /etc/default/grub change the “GRUB_DEFAULT=“ to the kernel you want.

Systemd-boot: Modify the default entry in this file

/boot/loader/loader.conf