MD5 (netbsd-TX3912.gz) = dd946779a7fc414713ee4213fa78daa3
MD5 (netbsd-TX3912.symbols.gz) = a08dac8f66a46cb80fb9c31d2453ab33
MD5 (netbsd.gz) = cc1865546e9d9b984a509f1406d20cd2
MD5 (netbsd.symbols.gz) = 3c1c98dc8786bb7d066df2947e6b11e7
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8