#!ipxe

# Determine the architecture we are running on
cpuid --ext 29 && set arch x86_64 || set arch i386

# Try to boot from DHCP.
dhcp net0

chain http://boot.ipfire.org/menu.gpxe?arch=${arch}&platform=${platform}