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


5.1.67 No_Terminate_Alternatives

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