As I have some issue with VirtualBox and I know that it is because of the current kernel 5.3.0.28
, I decided to boot in 4.18.0.20
, which supports VM. I checked my available kernels and I do see it is there.
However as I boot into the grub, I can only see the latest ones (5.3.0.28
and 5.3.0.26
(no screenshot in grub).
Since you only have those 2 kernel versions available in
/boot
there is no surprisegrub
only lists those. You seem to have the modules installed for a lot of different kernel versions, but without the actual kernel image grub will (obviously) not generate a menu entry for them.Since you have the kernel modules for those particular versions, I can only guess the kernel was installed at some point, but removed later on.
Simply installing
linux-image-<version>-generic
should do the trick and it should also update thegrub
menu for you.