SHA512 (netbsd-INSTALL) = a05fb09939e518ff9de35909f88f626a292fd1cee0fd3ad5774f4a3ec74353caedf60c0c08c604d70ff5edef521df3ca76c1f308cd16eeecbf46f74ba5397ed4
SHA512 (netbsd-INSTALL_C700) = 10f0a06adab7c4ccdda4aba78bf73e2c7ed318d4892de4f862fd212412094c8ca771c11a1755dc5fb96da58b02613cd2537bb0057758f8432e976e09f353c490