>Let me rephrase the question more generally... given a
>kernel "/boot/vmlinuz-fubar" how and where do I specify it by name as
>the default boot kernel?

What about this?

https://www.stephenrlang.com/2017/06/setting-default-kernel-in-grub2/

--
Hund

Reply via email to