![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Documentation of the L4 Runtime Environment utility functionality in C++. More...
Topics | |
| L4Re Capability API | |
| Kumem utiltities | |
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++.