**** BEGIN LOGGING AT Sat Aug 20 02:59:56 2011 Aug 20 20:31:31 do somebody know how to use the openocd with the openmoko debug board ? **** ENDING LOGGING AT Sun Aug 21 02:59:57 2011