SHA512 (netbsd-GENERIC.gz) = 4df7cb371d692807baf58d980f2e3203dd7f6c49188aaacb5d7cbc2882c1b048f417371c62644e667a0e11945cb8285224f38ceab97df05b6afcc8c5e15305ec
SHA512 (netbsd-TX3912.gz) = a48bde662219fb26a8a99d7bdaaa00c33f95dd1b3bedf57887b5dfbf0738f0805875ed575ba7c37e0611462ee509e05946dfa56f079a2268eedac8fcbd6d2236