[PATCH 0/7] Remove obsolete GDBserver ports

[Kevin Buettner]

On Thu, 14 May 2020 13:43:52 -0400
Simon Marchi via Gdb-patches <gdb-patches@sourceware.org> wrote:

> This series implements the removal of obsolete gdbserver ports, as discussed
> here:
> 
>     https://sourceware.org/pipermail/gdb-patches/2020-May/168361.html
> 
> I'm not in a hurry to merge this.  I don't recall the exact process for
> removing support for a platform/architecture from GDB/GDBserver (I could
> document it on the wiki if someone points me to it, if it's not already there).
> If needed, we can announce these ports as deprecated for the next GDB release
> (10.1 ?), and then merge this series in master right after we have created the
> gdb-10-branch.  Or if you think this is unnecessary, we can merge it right
> away, I don't mind.

I'm in favor of this patch series going in.

I looked over each part.  They all LGTM.

Kevin