[PATCH] Support for Xilinx MicroBlaze

[Joel Brobecker]

> Michael> When (if) this is fixed in gcc there will need to coordinate
> Michael> this with a corresponding fix in gdb.
> 
> How would this be done?
> Users might be using an old gcc or a new one.

The only solution I see to this problem would be that users of a recent
GCC would have to use a recent GDB. Very unfortunate, but I don't see
any other solution.  Worse case scenario, a microblase-specific setting.

-- 
Joel