bios/
efi32/
efi64/
gpxe/src/bin/
gpxe/src/.echocheck
gpxe/src/.toolcheck
gpxe/src/util/zbin
version.mk
