RTEMS Ada User's Guide
The rtems.partition_delete directive allows a partition to
be removed and returned to RTEMS. When a partition is deleted,
the PTCB for that partition is returned to the PTCB free list.
A partition with buffers still allocated cannot be deleted. Any
task attempting to do so will be returned an error status code.
RTEMS Ada User's Guide
Copyright © 1988-2004 OAR Corporation