/Makefile/1.4/Wed Jun 30 16:22:49 2010//Tnetbsd-11
/rump_syspuffs.8/1.4/Wed Nov 14 23:11:27 2012//Tnetbsd-11
/rump_syspuffs.c/1.14/Thu Aug  3 20:45:50 2023//Tnetbsd-11
/rump_syspuffs.h/1.1/Tue Sep  2 21:14:32 2008//Tnetbsd-11
D