* Info Catalog Prev gdb: Ada Tasks and Core Files Up gdb: Ada Next gdb: Ada Settings

gdb: Ravenscar Profile

 
 15.4.10.9 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.
* Info Catalog Prev gdb: Ada Tasks and Core Files Up gdb: Ada Next gdb: Ada Settings