menu title Tiniest ISO (uefi boot)
path /EFI/BOOT/efi64
# Note that the path is on the EFI/FAT partition

default luatest

menu margin 0
menu rows 7
menu background splash.png

label uefi
    kernel /vmlinuz
    sysappend 0x78074
    append initrd=/initrd.gz init=/init root=/dev/ram0

label linux
    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