SHA512 (netbsd-INSTALL) = ba45ffe9190dd815a195266199dc6c21ea216d2b4ab2ff6a0e6c37477d74fa520f7d3804f87f1fac0c0ce1e1c5f9163bf498e5da5a98278b50b4724aa1911f35
SHA512 (netbsd-INSTALL_C700) = 78721ae31c3ada4e6bd78c34913ad955e74d95f6b8352a608eb1c2b678865fe47066a6570da9cdaee775f79ea7f3acd180d7d55e2dac7f99818c3a8020838eb6