4 echo -e "\nWelcome to the Fedora 20 installer!\n\n"
7 if [ -d "/ppc/ppc${BITS}" ]; then
8 menuentry "Install Fedora 20 (${BITS}-bit kernel)" $BITS --class fedora --class gnu-linux --class gnu --class os {
9 linux /ppc/ppc${2}/vmlinuz ro
10 initrd /ppc/ppc${2}/initrd.img
13 menuentry "Test this media & install Fedora 20 (${BITS}-bit kernel)" $BITS --class fedora --class gnu-linux --class gnu --class os {
14 linux /ppc/ppc${2}/vmlinuz rd.live.check ro
15 initrd /ppc/ppc${2}/initrd.img
18 menuentry "Rescue a Fedora system (${BITS}-bit kernel)" $BITS --class fedora --class gnu-linux --class gnu --class os {
19 linux /ppc/ppc${2}/vmlinuz rescue ro
20 initrd /ppc/ppc${2}/initrd.img
25 submenu 'Other options...' {
30 menuentry 'Exit to Open Firmware' {