HOST { ethernet = 00:00:00:00:00:00/6; FILE { path="/var/lib/tftpboot/gpxe.pxe"; load=0x7c00; }; execute=0x7c00; };