L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
Name-space API

API for name spaces that store capabilities. More...

+ Collaboration diagram for Name-space API:

Data Structures

class  L4Re::Namespace
 Name-space interface. More...
 

Detailed Description

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 determines the policy which capabilities (which objects) are accessible to a client of a name space.