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.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1038093 Title: [regression] Fedora17 and ArchLinux dont appear in GRUB menu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/os-prober/+bug/1038093/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs