SHA512 (netbsd-INSTALL) = 70df0c63df4836e6cabc5768dc6c30aceaa9a6a5aa1091f79cad086750dad95a8982e8ff6d33429e15e3b9f91a06a4c9b65ce97df5cd960cb0a01835f28b650d
SHA512 (netbsd-INSTALL_C700) = 1115437de93a70eae23648eac64971d76712191fbb3198127fdba38d6ae7aa591aae0e44dded4ed36ac81fe69cdd7a428c39391f1b85c48b7acb1e4ab5eb70ef