SHA512 (netbsd-INSTALL) = 486d32b3e1cee2bbfda635747c47fd2c08291f6845e0cf2e4c2fc6781b931e54e999d97dfb4ce1fcc4861d97fefc1983be3d032d1646a425530eac288536be5b
SHA512 (netbsd-INSTALL_C700) = 27841964372b9362a1224158f70a6f0c53444285ede3e72df4f7b011b5869d26f86351e2c69492c28badab46b07fc65df0f91c64f5f75524a8382a8e3d1a1f83