--- /dev/null
+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 acpi=off boot=tftp fastboot tftpserver=10.133.28.160 tarballs=root.tgz,slave.tgz,acq.tgz,rec.tgz
+
+LABEL freedos
+ MENU LABEL ^FreeDos 1.0
+ KERNEL /memdisk
+ INITRD /balder10.imz
+ APPEND -