SHA512 (netbsd-INSTALL) = 5013bab44fa11c7046caab16d1fca5b6f328489800315a11b7703f5efdaed8c9afce935d09db09d4c0aefa1b5a883359f9ed8c3d22807844ffd021f3892a25e9
SHA512 (netbsd-INSTALL_C700) = 93d539dbf3ac2778b834bd90c27daafb95b3f05e92e9d8fa273db7549a19180dbaae9b2225320391ac172441624707d01a74124ac8a2f75a86545a7bed299b94