SHA512 (netbsd-INSTALL) = 0dd0d0bfc7c7d2e841f81f9ab458ff76222a26d766c4aae7e818b3030d6a5158574c93535f62dfcbd44855be7b01f53aba558ee632d88f2bf353b27e4ccaed34
SHA512 (netbsd-INSTALL_C700) = 6db4afa712b66609c06e3bd7c3294eea3a66a1deb5dca8ae970cf8c6235b418a929d8b4eed6714be1b4ca9c2238257d0223254e4416059723540652f4b5b3c5a