DEFAULT ipxe
PROMPT 0
TIMEOUT 10

LABEL ipxe
  KERNEL boot/ipxe.krn