diff options
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/NEWS | 5 | ||||
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 32 |
4 files changed, 45 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 0044064..7cf8d90 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,4 +1,8 @@ 2010-09-28 Joel Brobecker <brobecker@adacore.com> + + * NEWS: Announce Ravenscar Profile support. + +2010-09-28 Joel Brobecker <brobecker@adacore.com> Jerome Guitton <guitton@adacore.com> * ravenscar-thread.c, ravenscar-thread.h, ravenscar-sparc-thread.c: @@ -67,6 +67,11 @@ ** 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. For more information, + see the "Tasking Support when using the Ravenscar Profile" section + in the GDB user manual. + *** Changes in GDB 7.2 * Shared library support for remote targets by default diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 5a99342..a967bd7 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2010-09-28 Joel Brobecker <brobecker@adacore.com> + + * gdb.texinfo (Ravenscar Profile): New node. + 2010-09-22 Tom Tromey <tromey@redhat.com> * gdb.texinfo (Values From Inferior): Mention Value.__init__. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 07f9ad6..0b24718 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -12861,6 +12861,8 @@ to be difficult. * Stopping Before Main Program:: Debugging the program during elaboration. * Ada Tasks:: Listing and setting breakpoints in tasks. * Ada Tasks and Core Files:: Tasking Support when Debugging Core Files +* Ravenscar Profile:: Tasking Support when using the Ravenscar + Profile * Ada Glitches:: Known peculiarities of Ada mode. @end menu @@ -13411,6 +13413,36 @@ privileges, using the command @samp{"set write on"} (@pxref{Patching}). Under these circumstances, you should make a backup copy of the core file before inspecting it with @value{GDBN}. +@node Ravenscar Profile +@subsubsection Tasking Support when using the Ravenscar Profile +@cindex Ravenscar Profile + +The @dfn{Ravenscar Profile} is a subset of the Ada tasking features, +specifically designed for systems with safety-critical real-time +requirements. + +@table @code +@kindex set ravenscar task-switching on +@cindex 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 +@item set ravenscar task-switching off +Turn off task switching when debugging a program that uses the Ravenscar +Profile. This is mostly intended to disable the code that adds support +for the Ravenscar Profile, in case a bug in either @value{GDBN} or in +the Ravenscar runtime is preventing @value{GDBN} from working properly. +To be effective, this command should be run before the program is started. + +@kindex show ravenscar task-switching +@item show ravenscar task-switching +Show whether it is possible to switch from task to task in a program +using the Ravenscar Profile. + +@end table + @node Ada Glitches @subsubsection Known Peculiarities of Ada Mode @cindex Ada, problems |