/adapterdebug.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /eficonsplit.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /efidbg.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /efivar.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /intload.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /legacyboot.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /make.inf/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /makefile.hdr/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /piflash64.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /readme.txt/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 /vgaclass.h/1.1.1.1/Tue Apr 1 16:16:07 2014//Tnetbsd-10 D/ia64////