This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: Support for Xilinx MicroBlaze architecture (1 of 3)
> Date: Sat, 12 Sep 2009 11:35:26 -0700
> From: Michael Eager <eager@eagercon.com>
> CC: gdb-patches@sourceware.org
>
> Eli Zaretskii wrote:
> >> By default
> >> +@code{xmd} uses port @code{1234}.
> >
> > Is there a way to change this default, and if so, should we let the
> > user know how to do that?
>
> There's documentation in the Xilinx EDK/SDK or running "xmd --help"
> lists the options. I believe that there is an option to set the port.
>
> Do you think that xmd should be described in the gdb info? Or
> only this option?
Only that option would be enough. In fact, it's even enough to say
"See the Xilinx EDK/SDK documentation or run @kbd{xmd --help}, for how
to set the port number."