SHA512 (netbsd-INSTALL) = 494aa253ae7eccd3cafe8bc95463aa05e03a0646f3025ecfe984db3d6bd528515e625675e143cea688ea110633b2812b709ccc96bd7c7a69008836baad5cd1dd
SHA512 (netbsd-INSTALL_C700) = 2f8887a31eccfa92c540a3ba8247c289d38b9c3debf165a438fe5c1312e503a4f9215358682aa9620bedfffa672cb37576652938cdcbc447ab7be330672de505