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.