c98fe0c119
trunk. To build it, you will have to do update -dP in the itcl directory, and update tcl, tk, tix and libgui as well.
This is a version of ARM's RDI library which has been been put under a free software license. See ARM's Software Development Tools Reference Manual (Remote Debugging chapter), and the file gdb/remote-rdi.c for information about how to use it.