How to configure kernel boot parameters with grub2
sudo gedit /etc/default/grub
GRUB_CMDLINE_LINUX_DEFAULTin the file
/etc/default/grubto boot all the kernels with the new option. In this case, the kernel boot option
isolcpus=2,3has been used, on a 4 cores CPU, to boot the kernel (and the other OS processes) using CPU cores 0 and 1, while CPU cores 2 and 3 are isolated, i.e., not used.
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash isolcpus=2,3"
to make active the GRUB configuration at the next reboot.
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:
and to make effective modification you have to run the command:
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:
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
mount -o remount,rw /, if you want to enable write access to the filesystem