SHA512 (netbsd-INSTALL) = d50d282d4908f2b6c697de2b7d36106a288b7cb2d3311d9c2b601f10a59ff8087907ea7e65ff122e7e1cbdacdeb359eb32cd8ee934fc18fe836350db41cf8fac
SHA512 (netbsd-INSTALL_C700) = b0de3e38e1ae33f528ed2b249fb9ea7ee7482af99c80a8d3e538ddeba878b735e63cd29acc76005bdddf1ef6b75817312e8e07151c7e884814a8946c10bfb60d