Next: No_Tasking, Previous: No_Task_Hierarchy, Up: Partition-Wide Restrictions [Contents][Index]
[RM D.7] Tasks that terminate are erroneous.