Does any one know if openocd will work this this board?
http://www.hitex.com/index.php?id=lpc3250-stick-details