menu title Tiniest ISO (uefi boot)
-path /EFI/BOOT/efi64
+path /EFI/BOOT
# Note that the path is on the EFI/FAT partition
-default luatest
+default vesamenu.c32
menu margin 0
menu rows 7
append initrd=/initrd.gz init=/init root=/dev/ram0
label linux
- kernel vmlinuz
+ kernel /vmlinuz
sysappend 0x78074
append initrd=/initrd.gz init=/init root=/dev/ram0
label luatest
kernel lua.c32
append -i -- muffin.lua /vmlinuz initrd=/initrd.gz init=/init root=/dev/ram0
-