I’m running Debian Jessie with kernel version 4.5.
Today I just install an older 3.18 kernel but I couldn’t make it default.
When I look at the
/boot/grub/grub.cfg I can see that it is located under
Debian GNU/Linux menu as a submenu of named
Debian GNU/Linux, with Linux 3.18.25.jessiemptcp.
I know that there is a configuration option named
What is the correct format or number to change default kernel as a submenu entry