... | ... | @@ -27,7 +27,7 @@ Scroll through /boot/grub/grub.cfg until you find the menu entry for the new ker |
|
|
|
|
|
Then, scroll up until you find the name of the menu the menu entry is in. Most likely it is in an 'advanced' menu. If the item is in a sub menu of another menu (it shouldn't be), then you'll need to copy out the names of all parent menus in order from the top most.
|
|
|
|
|
|
On my test system there was just one menu named
|
|
|
There will most likely be a only a single menu named
|
|
|
|
|
|
```Advanced options for Debian GNU/Linux```
|
|
|
|
... | ... | @@ -44,6 +44,14 @@ A typical line for the new kernel is: |
|
|
GRUB_DEFAULT="Advanced options for Debian GNU/Linux>Debian GNU/Linux, with Linux 4.19.0-6-rtcds-amd64"
|
|
|
```
|
|
|
|
|
|
Where the top menu is
|
|
|
|
|
|
```Advanced options for Debian GNU/Linux```
|
|
|
|
|
|
And the menu item is
|
|
|
|
|
|
```Debian GNU/Linux, with Linux 4.19.0-6-rtcds-amd64```
|
|
|
|
|
|
#### Update and Reboot
|
|
|
Run
|
|
|
```sudo update-grub ```
|
... | ... | |