L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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.