L4Re - L4 Runtime Environment
|
#include <l4/re/cap_alloc>
#include <l4/re/util/cap_alloc>
#include <l4/re/env>
#include <l4/re/rm>
#include <l4/re/util/event_buffer>
#include <l4/sys/factory>
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 | |
L4Re | |
L4Re C++ Interfaces. | |