L4Re - L4 Runtime Environment
L4 Runtime Environment. More...
Namespaces | |
| namespace | Vfs |
| Virtual file system for interfaces POSIX libc. | |
Data Structures | |
| class | Cap_alloc |
| Capability allocator interface. More... | |
| class | Smart_cap_auto |
| Helper for Auto_cap and Auto_del_cap. More... | |
| class | Console |
| Console class. More... | |
| class | Dataspace |
| This class represents a data space. More... | |
| class | Debug_obj |
| Debug interface. More... | |
| class | Env |
| Initial Environment (C++ version). More... | |
| class | Event |
| Event class. More... | |
| class | Event_buffer_t |
| Event buffer class. More... | |
| class | Log |
| Log interface class. More... | |
| class | Mem_alloc |
| Memory allocator. More... | |
| class | Namespace |
| Name-space interface. More... | |
| class | Parent |
| Parent interface. More... | |
| class | Rm |
| Region map. More... | |
L4 Runtime Environment.
