On 16/05/2018 12:10, Nicolas Kovacs wrote: Bonjour Nicolas! > So right now I have two kernels on my machine, the 4.4.129 and the > 4.4.131. How do I configure GRUB so that on the next reboot, it defaults > to the 4.4.131 kernel? I knew how to do this with LILO under Slackware, > but GRUB is a very different beast. The easiest way is to use the "grubby" tool to set your default kernel. Look at the man page of grubby for details. Regards, Anand