SHA512 (netbsd-INSTALL) = a21bad6ec8adf8c0fb68948f3556ec2b25faa390c2fb44d4e0ee6d99296fa0264656331078f2b6655eb75b75e98f5cf2d681cdb8ffcd03f1f0f11797dfc2840d
SHA512 (netbsd-INSTALL_C700) = 43bcacdf0d947bb8dcfd7d59915a15d2be525f7e306aaf22376094c7fa96cace599778b4cf9fd9b5547fb812e6f47818f2fb359b506574f59214f2f5dfec6cf8