SHA512 (netbsd-INSTALL) = 6592dba1e11a66b8ec829857995175d2c4e1225391a8fcfbae3e4a16b061c1224765ad8d1984b017a97f5f01fdad014e5c0c8d14fe844f193513cc0bf903933d
SHA512 (netbsd-INSTALL_C700) = a68827353e3ea6f7439a03b4c228ad57a13d832e1b6b26d1ae16f2766d6760e3f31a5b927952f7d90d76114ccce502ca1d769e7d1a693acc6342e6e00338c8f7