SHA512 (netbsd-TX3912.gz) = c0faf6eec9ee46ee3b13a4b3189bfe72a4b7f52c9bdd067bf92353499bda454dd35bd3f234a45c6bc308460931c745d28d1e890b4af7bdfd8b1cf1229dd47b98
SHA512 (netbsd-TX3912.symbols.gz) = 0274511907bde096dc8d96c2f811d714b7b8ed21457acf745198fb87470ba41ec3a803a8ae2c39374ee7f2e4f1be4b3ba26720d645df8b4191283341c2c7e48a
SHA512 (netbsd.gz) = 8ba7c78cbc767efc380a0e8a5e45c1c669bfc5450bf09e41413c8d5737f87501f8cd18d8c783b800e643e61ca9530750274f1f65046fc088241cdb9a81f7b72b
SHA512 (netbsd.symbols.gz) = 51df32d6b53bfde17bc4a065961310ed1251fbff175a9f70d5da5a2309d4461a7f7fd5d50001a69641c409f05bc826b1573f2968b7e5e3ec59e3d2a9971bd05f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d