MD5 (netbsd-TX3912.gz) = cc4709c73e935cf0a8c60ef82f62f7d7
MD5 (netbsd-TX3912.symbols.gz) = 794388fd4d757fe30cc6911dabe42f26
MD5 (netbsd.gz) = 1c7609e29505f0a8ff53d7cdff5a4b76
MD5 (netbsd.symbols.gz) = 90f37b85071417132c9f3c99181c51de
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8