SHA512 (netbsd-TX3912.gz) = 054f3d0c7591b0cc626e29fb11acae2348d9924d57ca264a036b699a3f21492fee9a585b49358c127446bcfdd52155215f48363c4c0e4318a8f1cfe295ef9187
SHA512 (netbsd-TX3912.symbols.gz) = a6a5f949effef7acf5870f89acdaca462fc142137916a0fc5a2ee0ebd835b60617fe30ddf8fcc4d76e0707628d0156b4990b38952b81467551b06642197d2287
SHA512 (netbsd.gz) = fe83c555c5495c28f7de4436d4e863485fe3d513ab4da784b1428c82e7dc159b2d65d59283eabc5cc80b2b0c780eb59d453fa123beffe45248f0cc7c789b0203
SHA512 (netbsd.symbols.gz) = 19698aa50fe2a4a38dbe26a6aee562965d03c2a991f6d896d17703f1870e2413a95c2081e775d11f991ffc98751ac2230135e0e524c0e08281490bc1fde4631e
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d