Source file xen_os.ml

module Activations = Activations
module Device_state = Device_state
module Eventchn = Eventchn
module Generation = Generation
module Lifecycle = Lifecycle
module Main = Main
module Memory = Memory
module Xen = Xen
module Xs = Xs