L4Re Operating System Framework
Interface and Usage Documentation
|
Files | |
dataspace_impl.h | |
Dataspace client stub implementation. | |
mem_alloc_impl.h | |
Memory allocator client stub implementation. | |
namespace_impl.h | |
Namespace client stub implementation. | |
rm_impl.h | |
Region map client stub implementation. | |