[PATCH/RFA] Generic OS ABI handling

[Alfred M. Szmidt]

* Michael Snyder writes:
> "Alfred M. Szmidt" wrote:
>> 
>> >> +static const char * const gdb_osabi_names[] =
>> >> +{
>> >> +  "<unknown>",
>> >> +
>> >> +  "SVR4",
>> >> +  "GNU Hurd",
>> ^^^^^^^^
>> This should be changed to GNU.

> I'm not sure I agree, since Linux is now referred to as 
> GNU/Linux.  If there's room for confusion, extra info
> cannot hurt.

What is there to disagree about? The operating system is called GNU,
it has always been called that.  And I am not even going to bother
bring up the whole issue about Linux being a kernel and such. :)

What I think you might be thinking about is the Hurd (the GNU Hurd),
which is just a set of libraries, utilities and translators.  But this
is not the operating system.

Cheers,
-- 
Alfred M. Szmidt