SHA512 (netbsd-INSTALL) = a1b70623857b9897a755a3b89a6b268c50105044a90da7aca7b9df8704b2ba5af7b8a8c6b2c9ba6663f8b5b15cf55520388745228c74bb89a02d14152b5cfd58
SHA512 (netbsd-INSTALL_C700) = b179d441d8d845af3fcf849398da3cd5347aa21ee4d87f51be2de6e0200f3bfbf24091b982a06cc18deadf25ad26db8fa2c3724471c6952e8599ca0df036d00b