SHA512 (netbsd-INSTALL) = 009282f4f2de16e70dd8ad7787209ff03b787ad77a0ce1cbc1564b07eb19428e67bbe3fb7a643c388943ae9a75b2b6ca1fe18b8e067ed1d408422f19c92cf903
SHA512 (netbsd-INSTALL_C700) = 7f0f507c7ac5534551b309dc8c5831616e4aaf11cab3aef2dd9579a3deaa88dfe2e6d87c207196e23dcf6c0f882931fd5a9366cca6627a3eb7b2e32fc28bad9c