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