#!ipxe

menu Choose operating system to boot
item archlinux-2014.04.01-dual.iso archlinux-2014.04.01-dual.iso
item TinyCore-current.iso TinyCore-current.iso
choose target && imgfetch images/${target} && chain memdisk iso raw || shell