Systemd-boot changed the hardened kernel’s location after the recent kernel update, putting the general kernel first in the boot order.
That’s why I need and use the hardened kernel and want it to boot first. I’m not used to systemd-boot; I use grub more, but I installed it this way without meaning to.
I use ext4.
Thank you.
The EOS wiki describes how to change the default entry to boot:
https://discovery.endeavouros.com/installation/systemd-boot/2022/12/
Thank you very much @Dalto, but I don’t understand it… In fact, I would like to remove systemd-boot and use grub instead, as I feel much more comfortable with it.
You are certainly welcome to switch to grub if you want but that is orders of magnitude harder than changing one line in a config file…
Done, solved by removing the main kernel that I never use.
sudo pacman -R linux
Thanks again @dalto for your attention and your time!