SHA512 (netbsd-GENERIC.gz) = e51bc78743cd729228743ec5f7e37abd70894dad2e16ec5c1fc6092203b926f5ed73a5f926d2e91f43fba171ac7426e93d6ad6d668ef7b43fe12ec8450168040 SHA512 (netbsd-TX3912.gz) = b5bd86eede889dc811c46b466d43cd9559c8a3102efe91ff59f91f87314437d48db9f8b18fc34f4125e32d4cdb437645f7998f34eeec05acbc1717e85270cbe2