Re: [RFA/doco] document support for Ravenscar profile

[Eli Zaretskii <eliz@gnu.org>]

> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Joel Brobecker <brobecker@adacore.com>
> Date: Thu, 23 Sep 2010 13:14:08 -0700
> 
> This announces the support for debugging Ada programs using
> the Ravenscar Profile, as well as documents the new commands
> introduced as part of this effort.

Thanks.

> diff --git a/gdb/NEWS b/gdb/NEWS
> index 01d2f46..c982caf 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -67,6 +67,9 @@
>    ** GDBserver is now supported on PowerPC LynxOS (versions 4.x and 5.x),
>       and i686 LynxOS (version 5.x).
>  
> +* 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.

> +@node The Ravenscar Profile

I'd prefer to remove "The" from the node name.

> +The @dfn{Ravenscar Profile} is a subset of the Ada tasking features,
> +specifically designed for systems with safety-critical real-time
> +requirements. With GNAT, the activation of this profile requires
               ^^
Two spaces, please.

> +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?

> +
> +@table @code
> +@kindex set ravenscar task-switching on
> +@cindex enable task switching with program using Ravenscar Profile
> +@item set ravenscar task-switching on
> +Allows task switching when debugging a program that uses the Ravenscar
> +Profile.  This is the default.
> +
> +@kindex set ravenscar task-switching off
> +@cindex disable task switching with program using Ravenscar Profile

Instead of 2 @cindex entries, I'd just leave one:

  @cindex task switching with program using Ravenscar Profile

WDYT?

> +@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?

> +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.

Okay with those gotchas fixed.