SHA512 (netbsd-INSTALL) = 05d4df1783a2fa326c7747e4418f1d14e06b43958946c9398783b4168d9ed800ece49fd0de78c3ad85e1b738e92e2092b3b16a3045b59eafa8e913dd68ee0932
SHA512 (netbsd-INSTALL_C700) = 24dcaf6cd06be96641ff272a7353aa4237ed025b453d7a69adc3bc5d5fde805b5bd5a96dbde98e0652ac45253201ab4485114edf00db6214b0f43cfc7f81e48b