Anonymous
I wanted to study this grub issue some more, so I did the following experiment:
I have a single linux boot system with antix 19.1 loaded with the 4.9.261 kernel. Then I installed 4.9.264 kernel. I then installed 4.9.0-264 kernel. Upon reboot, the main/default kernel that grub picks to launch was 4.9.264 even though 4.9.0-264 kernel was the last kernel to be installed. If one goes to the advanced options in grub, 4.9.264 was listed first, then 4.9.261 was listed second, and 4.9.0-264 was listed third (last). I supposed grub picks the highest number to be first/default. So 264 is bigger than 261, which itself is bigger than 0-264.
In terminal, the list of all installed kernels this experiment was:
jakersfan@jakersfan:~
$ dpkg -l | grep linux-image | awk ‘{print$2}’
linux-image-4.9.0-264-antix.1-amd64-smp
linux-image-4.9.261-antix.1-amd64-smp
linux-image-4.9.264-antix.1-amd64-smp
jakersfan@jakersfan:~
$