SHA512 (netbsd-INSTALL) = 889b8ec3e17ba894c76ab481576bd73095f3ef21a49b3459c675fbf964625b2afd7f060e9dde62755a83413a35fd2e63fe486ac8c0c3e73ae1d5fde5969e65fe
SHA512 (netbsd-INSTALL_C700) = 789abe9e0b88e40d4f1d473d39ce4ea9d4fa7340547caab8ee63b497fc420065fa27c684c88a2f47d9ff28c4388fa8c8f4d21792ce6614372ac4151e8ccedd78