RTEMS Ada User's Guide
When a partition is created, RTEMS generates a unique
partition ID and assigned it to the created partition until it
is deleted. The partition ID may be obtained by either of two
methods. First, as the result of an invocation of the
rtems.partition_create directive, the partition
ID is stored in a user provided location. Second, the partition
ID may be obtained later using the rtems.partition_ident
directive. The partition ID is used by other partition manager directives
to access this partition.
RTEMS Ada User's Guide
Copyright © 1988-2008 OAR Corporation