MD5 (netbsd-TX3912.gz) = 095501b5cd82e1ef0a10870f007bd826
MD5 (netbsd-TX3912.symbols.gz) = 484eff2d889e480d5193f4dcdc9513e3
MD5 (netbsd.gz) = 6200f256c0b9150f0b72c015b80cabd6
MD5 (netbsd.symbols.gz) = d506c6031b25d47168c4ef2836017ae3
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8