[PATCH] Support for Xilinx MicroBlaze

[Tom Tromey]

Tom> How would this be done?
Tom> Users might be using an old gcc or a new one.

Joel> The only solution I see to this problem would be that users of a recent
Joel> GCC would have to use a recent GDB.

Tom> The problem is that this also implies that users stuck on an old compiler
Tom> will be stuck with an old gdb.

Just to be clear, I don't want to be a spoiler about this.
It is fine by me to move forward like this.

In fact I'd be interested to hear how gdb has dealt with this problem in
the past.  I'm also sure this won't be the last time we're in this
situation.

Tom