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