Sino:bit - Arduino, OpenOCD and GDB? A little while back, I responded to an offer...