SHA512 (netbsd-GENERIC.gz) = db13dc22fa3a1442080a789e396fa52797f3e7bb09135e8daa65a5c3278e62c93f6538a76472528570c5cc346a48c3aee9bd1f1b611d26228542b3d61d87f612
SHA512 (netbsd-TX3912.gz) = 5266412d40e694c369f7f2ea8e745d7815db9d5c501eeac87f886a5c50ff5207107651349cb8c0a5274c4945cb5a1bf0c93aefa00e18059f705fb45abb80de07