L4Re Operating System Framework
Interface and Usage Documentation
|
Directories | |
c | |
impl | |
util | |
video | |
Files | |
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 | |
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. | |