L4Re Operating System Framework
Interface and Usage Documentation
|
Documentation of the L4 Runtime Environment utility functionality in C++. More...
Modules | |
Kumem utiltities | |
L4Re Capability API | |
Data Structures | |
class | L4Re::Smart_cap_auto< Unmap_flags > |
Helper for Unique_cap and Unique_del_cap. More... | |
class | L4Re::Util::Cap_alloc_base |
Capability allocator. More... | |
class | L4Re::Util::Br_manager |
Buffer-register (BR) manager for L4::Server. More... | |
class | L4Re::Util::Counting_cap_alloc< COUNTERTYPE, Dbg > |
Internal reference-counting cap allocator. More... | |
class | L4Re::Util::Event_buffer_t< PAYLOAD > |
Event_buffer utility class. More... | |
class | L4Re::Util::Event_buffer_consumer_t< PAYLOAD > |
An event buffer consumer. More... | |
class | L4Re::Util::Vcon_svr< SVR > |
Console server template class. More... | |
class | L4Re::Util::Video::Goos_svr |
Goos server class. More... | |
Documentation of the L4 Runtime Environment utility functionality in C++.