MD5 (netbsd-TX3912.gz) = 600642ea25d8f8bbbc2e52d78d5d4d57
MD5 (netbsd-TX3912.symbols.gz) = 22dea69fbf8fa78e087ce07c3cf049c9
MD5 (netbsd.gz) = 4fcb2cd02796b3b7972d3d0c8ea4c5cf
MD5 (netbsd.symbols.gz) = a08c721f68da62ba10dd1707348d26e0
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8