SHA512 (netbsd-INSTALL) = 9f1d9b5221a6bf239cf7dfc34628addf6a6cca7a9c54af236abaef0607aa3b592186797a142eb62a30839ef24a86fb804ce6bc9079e5e29582248ea83ac0222d
SHA512 (netbsd-INSTALL_C700) = c37c9ec3a27ca093ebf9a3865c4324990e04c480f4af1bf1dc2c7b12cca5f830c32c4923689d8145ebed5a631d32277c122c853880b0e29da22265f0ddcdfede