SHA512 (netbsd-INSTALL) = 881721d7b05f02e86fd368242548533e89aa0e95dd88828652319bfa43f6b1ce0301f48192900e41a5e56e0da3e29ad8fcacc8d76c5b603186fa59f336469ac0
SHA512 (netbsd-INSTALL_C700) = 58783a492df0fcc229f0a8a22fcb608974ee5e0271ff1c45fe838288339fc392cf0090d044a5891e2c5f3826264c946bee661fe4e47ead3db4a8b9d63ba1d95d