L4Re - L4 Runtime Environment
|
Platform control object. More...
Go to the source code of this file.
Data Structures | |
class | L4::Platform_control |
L4 C++ interface for controlling platform-wide properties. More... | |
Namespaces | |
L4 | |
L4 low-level kernel interface. | |
Platform control object.
Definition in file platform_control.