SHA512 (netbsd-TX3912.gz) = 87ffe41798868acde7745f4bf444d9dfa26987b496d4bbec2debcc6ba3d9d408b072df47518457d2d4c458ceb63e8251e0ae37cdbab7985740d9665beacde238
SHA512 (netbsd-TX3912.symbols.gz) = 0274511907bde096dc8d96c2f811d714b7b8ed21457acf745198fb87470ba41ec3a803a8ae2c39374ee7f2e4f1be4b3ba26720d645df8b4191283341c2c7e48a
SHA512 (netbsd.gz) = 0851d527cc401af83296af093253dcc7ceef47f8b080e0c2b059d62ee594efba10e48ad7650e0a561fac13eebed1bb9b432a5d835c573415a84fc8f7f4f990b3
SHA512 (netbsd.symbols.gz) = 51df32d6b53bfde17bc4a065961310ed1251fbff175a9f70d5da5a2309d4461a7f7fd5d50001a69641c409f05bc826b1573f2968b7e5e3ec59e3d2a9971bd05f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d