SHA512 (netbsd-INSTALL) = 5bd3b0be28daa6fe42b686b597120fd4369db12719cca11da721d9519e09210a97cb988178434815a8ca28dc5ab8f1b2a736d4d054288e559dd8f50ca9c2ec09
SHA512 (netbsd-INSTALL_C700) = 69f397005c5aaf71b8d81de0b6c82d8abf6868eb754d2195e8881e726fa360644d84342084bdf8297057159ce0a86d8c75f8b9c49c99a52d77b950832be80865