L4Re Operating System Framework
Interface and Usage Documentation
|
ARM virtualization interface. More...
Go to the source code of this file.
Data Structures | |
struct | l4_vm_tz_state |
state structure for TrustZone VMs More... | |
ARM virtualization interface.
Definition in file vm.h.