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_2 | |
shared_cap | |
Shared_cap / Shared_del_cap. | |
unique_cap | |
Unique_cap / Unique_del_cap. | |
vcon_svr | |