../ config.h,v 30-Jun-2024 21:38 4480 hconfig.h,v 30-Jun-2024 21:38 4059 netbsd.h,v 30-Jun-2024 21:38 9038 ns32k.c,v 30-Jun-2024 21:38 47680 ns32k.h,v 30-Jun-2024 21:38 85361 ns32k.md,v 30-Jun-2024 21:38 178838 tconfig.h,v 30-Jun-2024 21:38 4059 tm.h,v 30-Jun-2024 21:38 4056 xm-netbsd.h,v 30-Jun-2024 21:38 4258 xm-ns32k.h,v 30-Jun-2024 21:38 5478