SHA512 (netbsd-INSTALL) = 4d8aae96e7a8ff34188f4bdd4081f44cc0fbef3ceebcf0846631c1667d0c89537fe024581a59115448fa9b2d3833d7f0e4f37b5988797126e88ec1ee29fcffb7
SHA512 (netbsd-INSTALL_C700) = ebcac4de72085fe17375d205cf47da0c3d9b55f61537f96837fb247930071708ea621cfa6b609889f457c9170b86d06ea1e80fab707fff059e4ad780bffb7d5b