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=@@tftpserver@@ tarballs=@@tarballs@@ LABEL freedos MENU LABEL ^FreeDos 1.0 KERNEL /memdisk INITRD /balder10.imz APPEND -