SHA512 (netbsd-INSTALL) = 885fb57a8d4d3ba28ec6b429a3a8b9f65ad99e549a03f1a9cc8bbae2d648f4038886eb996de5254188d77a304e76f4fedb10c46d5400478011948c6e2c6580fa
SHA512 (netbsd-INSTALL_C700) = b2bf28c048b62d8398c2f5faab5878d4f77f3013edc544abbfe292563a65df9e093f6bdaa2dbccda1608205a0ce410ca3dfbe142f4b41a0892c65200171c35ee