Grub lists unknown kernels
94793
How do you run update-grub?
54223
On 14.04, my kernel version is 3.11.0-18?
10794
How do I get the kernel source code?
135382
Ubuntu won't boot - kernel error?
48941
How is /etc/default/grub generated during installation?
35318
How do I list the default installed packages?
95582
How to remove duplicate entries in Grub menu?
21279
How do I add a kernel boot parameter?
35870
How to change kernel at boot
83727
Grub rescue no such device, also cannot access BIOS
97760
How to compile the kernel with debug symbols?
8265
How to fix "error: unknown filesystem. grub rescue>
100846
Error: kernel headers not found. (But they are in place)
79880
How to boot to the recovery mode if it is not listed in Grub?
107068
grub shows same linux image twice
77139
Why are old initrd files of uninstalled kernels filling up /boot partition?
94178
/etc/grub.d/09_lowlatency and /etc/grub.d/10_linux double list kernel