SHA512 (netbsd-TX3912.gz) = 68754ce1c8d9c0b6cfb576f90acb19325ef523f8de27cf87bc7e0cf520dadc83cfb987855d84ba11c499f8317d02572a6f13c1824e19fb1d5b3f008c4ccaa35c
SHA512 (netbsd-TX3912.symbols.gz) = 0274511907bde096dc8d96c2f811d714b7b8ed21457acf745198fb87470ba41ec3a803a8ae2c39374ee7f2e4f1be4b3ba26720d645df8b4191283341c2c7e48a
SHA512 (netbsd.gz) = e108c2c96e882219491e33022540a0ede2bb7f1870519fa3ed9f4cb1a6ae9d0bae198dd1f698355e347d9cb6e244415b3c2597845096726e46b52acaf6be10fd
SHA512 (netbsd.symbols.gz) = 51df32d6b53bfde17bc4a065961310ed1251fbff175a9f70d5da5a2309d4461a7f7fd5d50001a69641c409f05bc826b1573f2968b7e5e3ec59e3d2a9971bd05f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d