SHA512 (netbsd-INSTALL) = c8bf79fb07649a32b85774b75b0a7a4ffa9c30fc146bc2c99d3e1882c04b8e444763d41af7825e6212ad8796212265c81bae61b1b7e16be275224c06ffeb6a19
SHA512 (netbsd-INSTALL_C700) = 7a6341fdb7583128d2341473ff760842822edbe51f1545e4b64b5bfd2a3ec4d2c894e70e6307d0739b2f9c8c595cef593671f9c47e2c71bd86372213434be5be