![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
#include <l4/re/cap_alloc>#include <l4/re/util/cap_alloc>#include <l4/re/util/unique_cap>#include <l4/re/env>#include <l4/re/rm>#include <l4/re/util/event_buffer>#include <l4/sys/factory>#include <l4/cxx/type_traits>Go to the source code of this file.
Data Structures | |
| class | L4Re::Util::Event_t< PAYLOAD > |
| Convenience wrapper for getting access to an event object. More... | |
Namespaces | |
| namespace | L4Re |
| L4Re C++ Interfaces. | |
| namespace | L4Re::Util |
| Documentation of the L4 Runtime Environment utility functionality in C++. | |