ARM RDI

[Mark Mitchell]

Daniel Jacobowitz wrote:

> There are a number of other ways to use RDI besides rdi-share.

Indeed.

Some of the board vendors also ship GDB<->RDI converters.  As you say, I
have very little confidence that the current rdi-share actually works
with most things.

If consensus has been reached to remove rdi-share, may I post a patch
for review?  Or, if we don't think we can get that consensus, how about
at least a patch to make it a configure-time option, off by default?

-- 
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com
(916) 791-8304