Re: RFC: Patch to arm-tdep.c -- Register flavors

[Nick Clifton <nickc at cygnus dot com>]

Hi Guys,

  I would just like to add my voice to crowd supporting the ISA
  register naming scheme as the suitable default naming scheme for ARM
  GDB.  Of course I do not really qualify as a user of ARM GDB, but
  what the hey :-)

  Anyway I think that what Fernando ought to do is to check in a
  revised patch (that addresses the other points that Scott brought
  up, and renaiming "PS" to "CPSR") and with the default set to - well
  whatever he wants.  Since changing the default is a simple matter
  and can easily be done by a follow up patch, I see no reason to hold
  up the main patch. 

Cheers
	Nick