SHA512 (netbsd-INSTALL) = 1ce340c04f5ab193337d58e44d8b209f5d0ea18321d69f537854b0ac1384157fef4f5b41ec2023ff1dea030dfc584bebe3d73fb04582ea038a14145b2b9fdc4e
SHA512 (netbsd-INSTALL_C700) = 67ce85ea9b8eb2103cca735f8211042f79977f005eadabe11d8b09f2ec69022150a64f461a688a00b39885268461831e0d00ab2c12bd3bb19a30eb928bfb1c9e