MD5 (netbsd-TX3912.gz) = 1be98d7e9cb5cd1aab20c6df9d4b2fcd
MD5 (netbsd-TX3912.symbols.gz) = fcf74b36df60aa365ef7fdeea6821e71
MD5 (netbsd.gz) = d5a5edd83f260cd72a9944cbed6dfa9a
MD5 (netbsd.symbols.gz) = 83454ad10512f5ec8c16f8d6634fc619
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8