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


5.1.23 No_Dynamic_Priorities

[RM D.7] There are no semantic dependencies on the package Dynamic_Priorities.