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