L4Re Operating System Framework
Interface and Usage Documentation
|
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, see Platform Control C API for the C interface. More... | |
Namespaces | |
namespace | L4 |
L4 low-level kernel interface. | |
Platform control object.
Definition in file platform_control.