SHA512 (netbsd-INSTALL) = 290d8e7c5d0dfe64f11cfaad2e4431694f1de5bb81bda1cd7ac767d2d20efd45ac203b09e49a339a83fc857517bb89deff5cb149ba56689b5fa50c8d67f31470
SHA512 (netbsd-INSTALL_C700) = 580b099670e4b6a43c772e7d07a8ef2cff73b9099b13b608dc5aec5f4687b19d76eb92adbf6bb2660ee273a8edecd98928a2c7a8518465595e2d62980a139811