![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Directories | |
| video | |
Files | |
| bitmap_cap_alloc | |
| Bitmap capability allocator. | |
| br_manager | |
| cap | |
| Capability utility functions. | |
| cap_alloc | |
| Capability allocator. | |
| cap_alloc_impl.h | |
| Capability allocator implementation. | |
| counting_cap_alloc | |
| Reference-counting capability allocator. | |
| dataspace_svr | |
| debug | |
| env_ns | |
| event | |
| event_buffer | |
| event_svr | |
| icu_svr | |
| item_alloc | |
| Item allocator. | |
| kumem_alloc | |
| Kumem allocator helper. | |
| meta | |
| name_space_svr | |
| object_registry | |
| poll_timeout_kipclock | |
| region_mapping | |
| Region handling. | |
| region_mapping_svr | |
| shared_cap | |
| Shared_cap / Shared_del_cap. | |
| unique_cap | |
| Unique_cap / Unique_del_cap. | |
| vcon_svr | |