SHA512 (netbsd-INSTALL) = 7d08bf4e67250df0169a0d102d4d19229017c758382dc8a399c9dfe389493afc4fe9a61cafed11f75f6c474661d7d23ddfb201bbf9f8a36f638f8200b70aadb3
SHA512 (netbsd-INSTALL_C700) = 6076cedcff00a33a5d52aece3042a6fbbaf7476904e320488f18ff8b28286eae7e9246cd81413394a5c56b93e05b0f20dde505e48e7f6bcfd2254792da7d577f