SHA512 (netbsd-INSTALL) = 66a27a5c7d3b73b63a3c57dc1d16dac7635a8cbdb7963ab1313dfe3458723fd6a71ea5d3aa31817b9d5d59b1aef8a4898fbbe590e1c9381ae629bcb464d33ad2
SHA512 (netbsd-INSTALL_C700) = 94f4311ec678415ab71f56ca055288fd091d81afbd066d08fdcf90852722bb7484c4d16e04968c2dd1776f4043bae4d74ddfbb5f2a733dd1e362dbbc699019cb