18426 216 hpcboot.exe
12080 4392 netbsd-TX3912.gz
37321 99 netbsd-TX3912.symbols.gz
5459 5144 netbsd.gz
63529 126 netbsd.symbols.gz
6366 343 pbsdboot.exe
59871 373 pbsdboot1.exe