Thanks for the review, Eli.

> > +* Ada task switching is now supported on sparc-elf targets when
> > +  debugging a program using the Ravenscar Profile.
> 
> This part is okay, but please add a sentence pointing to the new
> section in the manual which describes the details.

I've added a quick sentence. Let me know if this enough.  Also,
I should say that I deliberately avoided listing the new commands
in the NEWS files, because I think they are pretty obscure and
only likely to be used in emergency situations.

> > +the use of a specific Runtime.
> 
> Is this important to mention this specific runtime?  If it is
> important, then is it enough to just mention its necessity, without
> any further details?  And why "Runtime" with a capital R?

Actually, not really. I don't even know why I mentioned it.  How
to activate this profile is really a detail that belongs to the
compiler manual...  So I removed it entirely.

> Instead of 2 @cindex entries, I'd just leave one:
> 
>   @cindex task switching with program using Ravenscar Profile

Changed accordingly.  I am wondering whether it would sound better
if we add 'the' before 'Ravenscar Profile'.

    @cindex task switching with program using the Ravenscar Profile

> > +@item set ravenscar task-switching off
> > +Turn off task switching when debugging a program that uses the Ravenscar
> > +Profile.  This is mostly intended to help disable the code that adds
> 
> "help disable" or "disable"?  That is, is this only part of what's
> needed to disable Ravenscar Profile support, or is it the whole thing?

You're right. 'help' is now gone.

> > +properly.  To be completely effective, this command should be run
> > +before the program is started.
> 
> Will it be even partially effective if it is run after the program is
> started?  If not, then I think we should drop the "completely" part.

Agreed as well.

Here is a new version.
-- 
Joel