Barrelfish
|
Interface to shared data structures between the kernel and a VM monitor. More...
Data Structures | |
struct | guest_control |
A VMKit guest control and state structure. More... | |
Interface to shared data structures between the kernel and a VM monitor.