Comment 18 for bug 1038093

Revision history for this message
Jeffrey Walton (noloader) wrote : Re: [regression] Fedora17 and ArchLinux dont appear in GRUB menu

This might also be useful for the Debian and Ubuntu folks: http://fedoraproject.org/wiki/How_to_create_and_use_Live_USB#Kernel_updates. It discusses the changes made at Fedora 17 and how to specify a boot image.
Unfortunately, I lack the necessary prerequisite knowledge to use it to fix these systems.