GDB Server for Xilinx Microblaze

["Hoefle Marco" <Marco.Hoefle@nanotronic.ch>]

Hello,
we are using Linux running on a Xilinx Microblaze in a FPGA.
It runs fine but we lack proper debugging (we are doing it old school
like: printfs...),
so modern stuff like code stepping within an eclipse cdt environment
would be greatly appreciated :-)
Thus I had a look into the new GDB7.2 sources and I saw that there is
some Microblaze stuff in the GDB source itself.
So from my understanding I can use GDB 7.2 on my Debian Workstation and
all I need is to cross-compile the gdb server?
I tried it but it seems that cross-compiling the GDB Server is not a
trivial task as it looks to me that there is no support for the
Microblaze.
Can somebody instruct me how to get the GDB server running on the
Microblaze?
We are running the latest stable Mainline Linux Kernel (2.6.37) and the
GCC cross compiler is version 4.1.2.

Thanks,
Marco