6.54 RM D.7(21): Tasking Restrictions

"When feasible, the implementation should take advantage of the specified restrictions to produce a more efficient implementation."

GNAT currently takes advantage of these restrictions by providing an optimized run time when the Ravenscar profile and the GNAT restricted run time set of restrictions are specified. See pragma Profile (Ravenscar) and pragma Profile (Restricted) for more details.