SHA512 (netbsd-INSTALL) = 926a60e1552c26fb6c6674da06df2d2cd3d8ba38f6f911250502d9df7b40685a8415d8acea38a8051c6741225337e0e70d6102f6818cdbb21d5a9da84bd98c36
SHA512 (netbsd-INSTALL_C700) = 650f41127a2b3347912159a428d07150fae81f8e7c4c582e2573fee60ee529081ad8a836ca1ac6cc2ae59f42f11c15dcfca8fe42de7c843cc4a9c2409de72b8b