![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Virtualization interface. More...
#include <l4/sys/task>
Go to the source code of this file.
Data Structures | |
class | L4::Vm |
Virtual machine host address space. More... |
Namespaces | |
namespace | L4 |
L4 low-level kernel interface. |
Virtualization interface.
Definition in file __vm-arm.h.