L4Re - L4 Runtime Environment
|
Directories |
Files | |
file | cap_alloc [code] |
Abstract capability-allocator interface. | |
file | consts [code] |
Constants. | |
file | consts.h [code] |
Constants. | |
file | dataspace [code] |
Dataspace interface. | |
file | dataspace-sys.h [code] |
Dataspace protocol defintion. | |
file | debug [code] |
Debug interface. | |
file | dma_space [code] |
file | elf_aux.h [code] |
Auxiliary information for binaries. | |
file | env [code] |
Environment interface. | |
file | env.h [code] |
Environment interface. | |
file | error_helper [code] |
Error helper. | |
file | event.h [code] |
Events. | |
file | l4aux.h [code] |
Auxiliary definitions. | |
file | log [code] |
Log interface. | |
file | log-sys.h [code] |
Log protocol definition. | |
file | mem_alloc [code] |
Memory allocator interface. | |
file | mem_alloc-sys.h [code] |
Memory allocator protocol definitions. | |
file | namespace [code] |
Namespace interface. | |
file | namespace-sys.h [code] |
Namespace protocol definitions. | |
file | parent [code] |
Parent interface. | |
file | parent-sys.h [code] |
Parent protocol definition. | |
file | protocols.h [code] |
L4Re Protocol Constants (C version) | |
file | rm [code] |
Region mapper interface. | |
file | rm-sys.h [code] |
Region mapper protocol definitions. | |
file | shared_cap [code] |
Shared_cap / Shared_del_cap. | |
file | unique_cap [code] |
Unique_cap / Unique_del_cap. | |