#!ipxe

kernel bootloader-live.efi
initrd redox-live.img
boot