SHA512 (netbsd-INSTALL) = 8bb042255a1dd84d8718b78c9769a6e5415152a8bd8111b44e326f9dc5df0df77d0f27ebf0023a75f7793315b966309decb8c5907420118aa13d4d20e6f91c10
SHA512 (netbsd-INSTALL_C700) = f78ad91d80ed53a8089c3e54cd3860eccb8c9d76964a50f3152963289b036468ee153f377b3621bc44f0437785758fe01cf8dcf0738d7d1fb69dcecd100d08ff