/gpxe/src/config/defaults/

• ../
• efi.h
• pcbios.h