Next: pragma Restricted_Run_Time, Previous: pragma No_Run_Time, Up: Obsolescent Features
The pragma Ravenscar has exactly the same effect as pragma Profile (Ravenscar). The latter usage is preferred since it is part of the new Ada 2005 standard.
Ravenscar
Profile (Ravenscar)