SHA512 (netbsd-TX3912.gz) = ecb7e568c44968ea6e3ed34d739f677c09a7d83184a30442b8524363892df5c239641819b3386492fa8d9628b4478b547826e4001e1b8b52cb99b44c134273d0
SHA512 (netbsd-TX3912.symbols.gz) = c8d25997a8bb870aec1d066a2e170e088ba5e72ba97c9781ca6877864daa656a46b590cb90ff874c98086955ead36d7d322fa0b962681490178582062a22b5e5
SHA512 (netbsd.gz) = d9c087921d1f4aca2d41c146b3cc8016d39f449b20674da9351977709b15516cb579767499ed60cfe00ff0037bf1a3b3da345b6ee542fcc268ed89a8a43f9310
SHA512 (netbsd.symbols.gz) = 20e8286a76686c68e7eb387c0d3798759853212d41022ada1e1ecb34a603708f281bdd26c059e8e193456a8e9522d4011015f3a79f4e40e4637b3f2b17a3eed4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d