SHA512 (netbsd-TX3912.gz) = 28689ec9aadc639d5d43da64dfeb9a3f832ad68e0b8a9b98989df3d510bba6755898eadfd42c288ac4b0e7c92f40dcf469e4f439b6a8db538eebfa1344a6432a
SHA512 (netbsd-TX3912.symbols.gz) = aa69c73afb2625cc0abf9556eb3e48a51d7a57b955597bf4b3662a71ed419796a75e305a2935dddf66c6b9484cc74ecda7764e681776bb7d3ff008632c7d8400
SHA512 (netbsd.gz) = 7009458c1eba16ffff29afd87c4827c682d81824cfaf15f26fdaba87549227c0002a16b04accedcd2e4f2103308acce4b798242d1e5b200f7af2a33f4dd957be
SHA512 (netbsd.symbols.gz) = 7a7b5dbc68477e488c0d26a3ee60c24e92e500199748529fbf4ba42f73910fa8bf52bc37f14caf25379dd8626b4997e07b75a68890d5ee288558aa7da077d053
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d