L4Re - L4 Runtime Environment
vm.h File Reference

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...
 

Detailed Description

ARM virtualization interface.

Definition in file vm.h.