SHA512 (netbsd-INSTALL) = 7b7115bc727b7741f27d3df5b5df6848b1e49679cea0c8cd33e97b915eb60f0a784083625e996e34244630119e457171378444e9412d6c00450fc51484a4d98d
SHA512 (netbsd-INSTALL_C700) = 8f5f5f136b39995250d69a9702a39766aa750980f58ea7d79688fc995e74a7174eaabfa7040aaa1eaf90bc75411a5e22b733691aa5a144189ba1f8d22b3fc0e9