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