SHA512 (netbsd-TX3912.gz) = 954c4d9e508794aeb9ee32cd3bfda6fddbf8bb026a84a4dc738a66a2b4bd3c05754f3fa992321f80815b72c38bbbdc6709e5d293c3a41d45835ce00eb52cd73b
SHA512 (netbsd-TX3912.symbols.gz) = 4a666f7d4d0009ca64f16bab3a26bf3f44ef4ae7a27439fa0005b00b2cf76c8299a16d1d8ed8eac5ef9b611216372f98fad597b854f6719548e2aa5ebd2f7aee
SHA512 (netbsd.gz) = 2707bf511906fd39619dea3739b7a4da8cee9a398814d953435375fa4f85b44ef9d6570f6889b0165e2d48fba7b8dd3ab209be0589b8e5c8d70381ff7b6c64f9
SHA512 (netbsd.symbols.gz) = 6ccc3d6e45a9a30289755fa35f5f0405ce20acaea4e533a5ee6d0ccbded0bd91be936b0b2e907acd4b459c71c019088290d109f1e6ddaecbb9aab8c7b585820f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d