Configure GRUB for a new kernel

For those of you who didn’t use make install, you still have to configure your bootloader to include the new kernel.

GRUB comes with a set of tools for this, and the command we need is the following.

grub-mkconfig -o /boot/grub/grub.cfg

And that’s it. Really! Reboot now, and use the GRUB menu to boot into your wonderful new kernel!

Leave a comment

One thought on “Configure GRUB for a new kernel