SHA512 (netbsd-GENERIC.gz) = 914e7fb78850ab679fb36fd80c12786e3e335a0200cb33c405cd55dfe369c9832ad4ac032d39379967f232d75195f0d5ca4b9441d82da0fae5e70ae08f371949
SHA512 (netbsd-TX3912.gz) = 88e5a0d1a3ca17a763f892019c06ee01a96499a8052f89ff50928698c0245df688ba7ff3d25d4d430f265d02073e9250d510bf7a8979dce30152d529b84842ea