#!ipxe
echo Boot menu
menu Selection
item debian Debian Netboot

:debian
sanboot http://cdimage.debian.org/debian-cd/8.3.0/amd64/iso-cd/debian-8.3.0-amd64-netinst.iso