|
| cap_alloc |
| Abstract capability-allocator interface.
|
|
| console |
|
| consts |
| Constants.
|
|
| consts.h |
| Constants.
|
|
| dataspace |
| Dataspace interface.
|
|
| dataspace-sys.h |
| Dataspace protocol defintion.
|
|
| debug |
| Debug interface.
|
|
| dma_space |
|
| elf_aux.h |
| Auxiliary information for binaries.
|
|
| env |
| Environment interface.
|
|
| env.h |
| Environment interface.
|
|
| error_helper |
| Error helper.
|
|
| event |
|
| event-sys.h |
|
| event.h |
| Events.
|
|
| event_enums.h |
|
| inhibitor |
|
| inhibitor-sys.h |
|
| itas |
|
| l4aux.h |
| Auxiliary definitions.
|
|
| log |
| Log interface.
|
|
| log-sys.h |
| Log protocol definition.
|
|
| mem_alloc |
| Memory allocator interface.
|
|
| mem_alloc-sys.h |
| Memory allocator protocol definitions.
|
|
| mmio_space |
| Interface definition to emit MMIO-like accesses via IPC.
|
|
| namespace |
| Namespace interface.
|
|
| namespace-sys.h |
| Namespace protocol definitions.
|
|
| parent |
| Parent interface.
|
|
| parent-sys.h |
| Parent protocol definition.
|
|
| protocols.h |
| L4Re Protocol Constants (C version)
|
|
| random |
| Random number generator interface definition.
|
|
| rm |
| Region mapper interface.
|
|
| rm-sys.h |
| Region mapper protocol definitions.
|
|
| shared_cap |
| Shared_cap / Shared_del_cap.
|
|
| unique_cap |
| Unique_cap / Unique_del_cap.
|
|