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