PROMPT 2 TIMEOUT 30 UI /menu.c32 KBDMAP /fr.kmp MENU TITLE [[ PXE BOOT ]] DEFAULT debian LABEL debian MENU LABEL ^Debian 7 (TRC6500) KERNEL /vmlinuz INITRD /initrd.img APPEND noinitrd ramdisk_size=8192 boot=tftp fastboot tftpserver=10.133.26.160 tarballs=root.tgz,slave.tgz LABEL freedos MENU LABEL ^FreeDos 1.0 KERNEL /memdisk INITRD /balder10.imz APPEND - LABEL flashbios MENU LABEL Flash^Bios 3.0 KERNEL /memdisk INITRD /flash-bios.imz APPEND - LABEL flashipmi MENU LABEL Flash^Impi 3.39 KERNEL /memdisk INITRD /flash-ipmi.imz APPEND -