Next: , Previous: No_Tasking, Up: Partition-Wide Restrictions


No_Terminate_Alternatives

[RM D.7] There are no selective accepts with terminate alternatives.