/bootinfo.h/1.2/Sun Apr 14 06:07:40 2002//Tnetbsd-9
/config_hook.h/1.7/Thu Feb 16 20:17:13 2006//Tnetbsd-9
/debug.h/1.11/Mon Aug  9 23:07:20 2010//Tnetbsd-9
/platid.h/1.4/Tue Jan 17 02:50:59 2006//Tnetbsd-9
/platid_generated.h/1.25/Wed May 18 12:11:46 2011//Tnetbsd-9
/platid_mask.h/1.25/Wed May 18 12:11:46 2011//Tnetbsd-9
D