#### 8.5.4.12 Partition Attribute Passive

By default, a partition is an active partition. This attribute allows to define a passive partition. In this case, `po_gnatdist` checks that only shared passive units are mapped on the partition. As this partition cannot register itself, its location is hard-coded in all the partitions that depend on its shared passive units.

    REPRESENTATION_CLAUSE ::=
       for PARTITION_IDENTIFIER'Passive use BOOLEAN_LITERAL;