Displaying all the available kernels at boot ?

[Patrick O'Callaghan]

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