#!ipxe

kernel bootloader-live.efi
initrd http://${next-server}:8080/redox-live.iso
boot