SHA512 (netbsd-INSTALL) = 9d8206f400da10ca200750d2e5a65a594ac6ac168ab6125b89319ed5988ae7357444dbb84bd881e03773e278f2411e7be42b91f26569b777cf4c4af7d99c985e
SHA512 (netbsd-INSTALL_C700) = 5353e5024a584d51d32272d2c2922213afdc2caa53cd572f3869b3c46d3c578069532040f69949f504149f26efb9701a12ee5ee0af33ff5d2e4b210ec02ded10