SHA512 (netbsd-INSTALL) = 3b4ba5c454ddfec852fa65cacb40665eb7b5425ac2f1159f1b1c82fad6041feeca5784bd01f3136e63fdcc212f45a2ca70a187c654ced8c1ee217b8fdbc66e4e
SHA512 (netbsd-INSTALL_C700) = 85c21676b1a4ddb9a608102ce56ea57ee4b751a375d8f82c603cacbe6bf5941985ba25db90ab54862e7e6752dffd8a3c0a89f6b869e3f88a5ae5579185fc7195