ChangeBootOrder.md

Changing kernel boot order

Author: Tobit Flatscher (August 2021 - April 2022)

1. Changing the boot order in Grub

Likely after installing your new kernel you will want to boot automatically into the real-time kernel and not have to press ESC upon starting every single time. This can be done by changing the Grub boot order either manually or by using the graphical tool by Daniel Richter (recommended). Latter can be installed with the following commands

$ sudo add-apt-repository ppa:danielrichter2007/grub-customizer
$ sudo apt-get update
$ sudo apt-get install grub-customizer

and then launched

$ sudo grub-customizer

Select the desired kernel as default under General/predefined, close the GUI and restart your computer.