>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
>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