Table of Contents

Kernel boot parameters

How to configure kernel boot parameters with grub2

Example of the "isolcpus" option

sudo gedit /etc/default/grub
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash isolcpus=2,3"
sudo update-grub

to make active the GRUB configuration at the next reboot.

Choose which kernel use for boot

If you want to boot the third kernel of the second sub-menu, you have to modify in file /etc/default/grub the variable GRUB_DEFAULT in the following way:

GRUB_DEFAULT=1>2

and to make effective modification you have to run the command:

sudo update-grub

If you want to choose directly an entry of the main menu, for instance the third entry, the variable GRUB_DEFAULT has to be modified in the following way:

GRUB_DEFAULT=2

There is also the option to specify directly the name of the kernel (this is the solution I prefer):

GRUB_DEFAULT="Advanced options for Ubuntu>Ubuntu, with Linux 3.2.0-18-generic-pae"

To know the names of the kernels you can type the command:

grep menuentry /boot/grub/grub.cfg

Boot in recovery mode