On Tue, 2015-10-06 at 09:11 -0600, linux guy wrote:
My computer is not displaying all the available kernels when it
boots.
Right now it displays Fedora, Advanced options for Fedora and tboot
1.81.
How do I get it to display a list of kernels ?
Take a look at /boot/grub2/grub.cfg. If some kernels are missing, it's
likely they were incompletely installed.
poc