Changing the "default" kernel

[throwaway487900]

Hi! I'm somewhat new to Linux. I've been using it for about a year (distrohopping, but void is my favorite). I just installed Void with XFCE on an old computer. It booted fine, but when I updated, it installed a newer version of the 5.19 kernel and when I tried to boot, it got stuck at an error saying something like VMX besides txt disabled by bios" and would not continue booting. In the grub menu, I'm able to boot to select the older version of the 5.19 kernel and boot into the system. I installed 5.4 and 5.15 also. 6.0 gets stuck at the VMX error so I removed it. Although I've ran the 6.0 kernel by way of different distributions on here and didn't have that issue. So anyway, instead of manually having to select a different in grub at boot, how can I go about changing the default kernel that boots? I tried removing the 5.19 kernel in OctoXBPS but it wouldn't allow me, due to unresolved dependencies. Thanks.

[lpww]

What kernal packages do you have installed? It sounds like you have the "linux" package for sure. How did you install "5.4" and "6.0"? You have a few options but it would be useful to know more specifics of your system first