!ปลออ
*TX3922 129MHz (http://www.netbsd.org/ports/hpcmips/)