L4Re - L4 Runtime Environment
|
Directories |
Files | |
file | dataspace.h [code] |
Data space C interface. | |
file | debug.h [code] |
Debug C interface. | |
file | dma_space.h [code] |
DMA space C interface. | |
file | event.h [code] |
Event C interface. | |
file | log.h [code] |
Log C interface. | |
file | mem_alloc.h [code] |
Memory allocator C interface. | |
file | namespace.h [code] |
Namespace functions, C interface. | |
file | rm.h [code] |
Region map interface, C interface. | |