SHA512 (netbsd-GENERIC.gz) = 8752fadc0e5b8abc805305dd33986de2a7c0780816daa3cf9e17d63d6546fa885445eec13d39c55dc7434e79f428b0a117ed68b5db456bab52b1d1cd1ca20e73
SHA512 (netbsd-TX3912.gz) = 82567fa8e22e238193a8697ece0620db59cda634e26658536776bf3fc0c459aa5b4ebca7892fc66942f804bd2ef95723fa3bcb627512f8b2eb33b5643466303c