+menu title Tiniest ISO (legacy)
path /boot/syslinux/bios
-include /bootmenu.cfg
+# Note that the path is on the EFI/FAT partition
+
+#default vesamenu.c32
+default luatest
+
+menu margin 0
+menu rows 7
+menu background splash.png
+
+label legacy
+ kernel vmlinuz
+ sysappend 0x78074
+ append initrd=initrd.gz init=/init root=/dev/sda1
+
+label linux
+ kernel vmlinuz
+ sysappend 0x78074
+ append initrd=initrd.gz init=/init root=/dev/sda1
+
+label luatest
+ kernel lua.c32
+ append -i -- EFI/BOOT/muffin.lua /vmlinuz initrd=/initrd.gz init=/init root=/dev/ram0