I wonder if this would be helpful: http://gdb-jtag-arm.sourceforge.net/.