SHA512 (netbsd-INSTALL) = 47498d660c8ada01f527b03d99d6490e1aa021338f524425c631898cbc2c6244d3fa99ac0f0cdd0a66d89969a90ddb6be5b34fb3b2f73e3742b08d029073506e
SHA512 (netbsd-INSTALL_C700) = 8d45813c03ad79d80dbfc5ef77b44ea6c114c0e1f3ab0242e7cf711108e21be0840d07484053eb208a873788f5417d784116d6e1be289d5b82aef197c8de6b47