API for name spaces that store capabilities. More...
|Name-space interface. More...|
API for name spaces that store capabilities.
This is a basic abstraction for managing a mapping from human-readable names to capabilities. In particular, a name can also be mapped to a capability that refers to another name space object. By this means name spaces can be constructed hierarchically.
Name spaces play a central role in L4Re, because the implementation of the name space objects determine the policy which capabilities (which objects) are accessible to a client of a name space.