SHA512 (netbsd-INSTALL) = 6f10a41a316c985ad5e5d3f8667cf91450ef553312f532df8345932fff384f75a92167d2d4a31baaf7a028d708b5ff7df09a560435a6e0ed0bc8fc6cfdb58db2
SHA512 (netbsd-INSTALL_C700) = 7de29d775bc77c0a2638d027bee5f1268fa2b43539410e41c86315d462423497401f58edf580bc63df4aeb93bd0951318a8456f0b333ae4e559873861c1a7573