SHA512 (netbsd-INSTALL) = 8e1e25993b3e7146859b19fe7ea1a66491441fdb47c84a9ee64318ae5ebca8a5f315deddc662a75ad64015bc8575d37ba857ccb0adcb16df9e902ae236741e0d
SHA512 (netbsd-INSTALL_C700) = 14d3fc897f1d809090762828cc1035c43bea9bf5c9784b71d9a165d1c0e28b334c4d2d04520587c0113d952aa45c0297f55c28de97eb17a5a799c33095f870c5