Ravenscar Profile - Debugging with GDB
Description: Debugging with GDB

Next: Ada Glitches, Previous: Ada Tasks and Core Files, Up: Ada

##### 15.4.9.7 Tasking Support when using the Ravenscar Profile

The Ravenscar Profile is a subset of the Ada tasking features, specifically designed for systems with safety-critical real-time requirements.

`set ravenscar task-switching on`
  Allows task switching when debugging a program that uses the Ravenscar Profile. This is the default.

`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 gdb or in the Ravenscar runtime is preventing gdb from working properly. To be effective, this command should be run before the program is started.

`show ravenscar task-switching`
  Show whether it is possible to switch from task to task in a program using the Ravenscar Profile.