L4Re - L4 Runtime Environment
|
Files | |
file | dataspace_impl.h [code] |
Dataspace client stub implementation. | |
file | mem_alloc_impl.h [code] |
Memory allocator client stub implementation. | |
file | namespace_impl.h [code] |
Namespace client stub implementation. | |
file | rm_impl.h [code] |
Region map client stub implementation. | |