[doc] Updated doc for module Activations.
[xenctrl] Added xen memory barriers.
Merge pull request #21 from vbmithr/master

Added xen memory barriers
[doc] Improved doc of module Activations + deleted tabs in source file.
Merge pull request #22 from vbmithr/master

Updated doc + removed tab in file.
An 'unknown' shutdown reason manifests as 255, not -1

This should probably be fixed in libxl, consider this a workaround.

Although xen uses -1 as an 'unknown' shutdown reason, when this
is marshalled into a getdomaininfo domctl, it is masked with 0xff
and treated as an unsigned value.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #23 from djs55/master

Work around unknown 'unknown' shutdown reasons
Added Gnt.Gnttap.{map_exn, mapv_exn} functions.
Fix the fix for unknown 'unknown' shutdown reasons

It's the values from libxl which seem to be incorrect, not
the values from OCaml.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #25 from djs55/master

Fix the fix to the unknown 'unknown' shutdown_reasons
Merge pull request #24 from vbmithr/master

Added Gnt.Gnttap.{map_exn, mapv_exn} functions.
Added a binding to xc_evtchn_close, plus some cleaning in the evtchn bindings.
Merge pull request #26 from vbmithr/master

xc_evtchn_close
Add a configure script which detects the C header xl.h and conditionally compiles xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Update to 0.9.6

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Fix typo in configure script

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Add Xenctrl binding for checking HVM guest for PV drivers

Signed-off-by: Si Beaumont <simon.beaumont@citrix.com>
Merge pull request #27 from simonjbeaumont/check-pvdriver

Add Xenctrl binding for checking HVM guest for PV drivers