SHA512 (netbsd-GENERIC.gz) = 8715ebce00ae37d4080ac27ec314a0532bd9dc834997924f854e1b40980f9e30f8e7ce1e023af5cfbd50c90cd33fe1a861d4bdc91150085116477e6997adc893
SHA512 (netbsd-TX3912.gz) = 438977a80d550016a2ee008ad4d46995544dd2c7a360e35c81dc2501b16c14fc83b223e93a836f94718b93a015edb54a52f4ef644199b7e437678f817686d61d