Как изменить ядро при загрузке
Я установил последнее ядро (4.1) и хочу загрузить его вместо 3.9. Как я могу сделать это на Ubuntu 15.04?
2 ответа
С https://help.ubuntu.com/community/Grub2
Вы можете изменить, какое ядро загружается при загрузке компьютера.
Как компьютер запускается.
Удерживайте SHIFT, чтобы отобразить меню во время загрузки. В некоторых случаях нажатие клавиши ESC также может отображать меню.
Теперь вы должны увидеть меню grub. Используйте клавиши со стрелками для перехода к дополнительным параметрам и выберите ядро, которое вы хотите загрузить.
Или попробуйте документацию сообщества Ubuntu здесь. https://help.ubuntu.com/community/Grub2/Setup
Это из этого поста от nelaar. Затем следуйте инструкциям в этом посте, чтобы исправить пункт меню.
Вы можете установить Grub Customizer:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
и измените положение записей в меню Grub. Из этого вы можете сделать последний Kernal как запись по умолчанию.