Next: No_Access_Parameter_Allocators, Previous: Max_Tasks, Up: Partition-Wide Restrictions
[RM D.7] There are no abort_statements, and there are no calls to Task_Identification.Abort_Task.