/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////
