Option to set default kernel in grub
Hallo,
I love the mhwd tool to manage my gpu drivers and installed kernel! But one feature is missing, the "set default kernel" option. I have most time installed the latest kernel + its rt version and grubs default is always the non rt version. So I have to manualy change this after every update.
Please add this feature!