SHA512 (netbsd-INSTALL) = 0e91c38d9afd9ef4ec42a44085ca4f4bbd406673a446111a70fd36eaa42e6512296d193f600dbcc125c1474ac1d759b02640b6dd3e8907045b9e0f953df25caf
SHA512 (netbsd-INSTALL_C700) = 32b489d3dd3f170671165abe193971cde259baa01fd5d0bdfaa5ea12bb20797c41be095aa4701c2a074827cf3cea1a130b1d9db8c709b6ab10f8dab7f74e0e96