SHA512 (netbsd-INSTALL) = afb90f138229cfa1f1014b77c2fc82e285d327f1c85e990d8d2384da693af3ea5c11f52056203bf5fbcc66102ae18ba085367d09b0b0de9aa43a5b883895d9a5
SHA512 (netbsd-INSTALL_C700) = 5aca75a98103f779ddd21bdc06b75f65a1b90c6b2815ea9d1d0cbc88d84fc0ce5e45105b5d71d97c5c3fac84faf36ff01661d14aa5b8d6173afebbd8d90b6d6f