SHA512 (netbsd-INSTALL) = 0b56c833715baa259e35da908e86adcf823233b3fbfe526c5e30184b5f51c5e773a3a71f2c312a28bf586b42a2338db91ccc0f8af01b7d2e242c5e5e100b48f0
SHA512 (netbsd-INSTALL_C700) = 70a50110a10f8c794b21aaa60306d88b7e56203e46ef9dacc9b813bdce4d31cb8ed6d0a80f1700e5b71a77b0886a38e90a80dd792eb81bf93cdff8f99fdd0557