54260 108 hpcboot.exe 27153 2196 netbsd-TX3912.gz 16070 50 netbsd-TX3912.symbols.gz 3898 2572 netbsd.gz 1105 63 netbsd.symbols.gz 65306 172 pbsdboot.exe 1137 187 pbsdboot1.exe