SHA512 (netbsd-INSTALL) = 0aa7e0058d390920029f6c9f626549e191be7b4e31ef905d53008c78d507b0d76bc26ccdfa51e3d29ba71f9a0dffe76a1b07ff661a43a80f5ae6ca9f43ace37d
SHA512 (netbsd-INSTALL_C700) = 1a9f8c23aca3318265e74e4bb5420622c9d1bc3d807723038620092d40d1de0ad57f9a65ae6779534881929d350cce991dfcfbf392fe8828cc88c154e27872a0