SHA512 (netbsd-INSTALL) = 24eeab7b4da8c6b53868087990a7c4015f00fc72c67c12ac42794f0f4eda5f2729522dc4e894aac1d48df3ba869f631ec7a0589c05a61e802a08a409506fa7c3
SHA512 (netbsd-INSTALL_C700) = 90508f21c6a9eefdb82a2470b7bb8b202b261903b1631aa066aed40b800ce8c06833d36c53623f54f7331d5d9f1a812c1de168613c8e9861128a19d6b4cc16ae