Index of /debian/ipxe/ipxe-1.0.0+git-20190125.36a4c85/src/config/defaults/
../
efi.h
09-Feb-2019 16:03 1376
linux.h
09-Feb-2019 16:03 604
pcbios.h
09-Feb-2019 16:03 1477