RM D 7 21 Tasking Restrictions (GNAT Reference Manual)

### 6.55 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.