DEFAULT ipxe
PROMPT 0
TIMEOUT 10

LABEL ipxe
KERNEL /boot/ipxe.krn