Merge pull request #12 from vbmithr/master

Doc for module Activations will be generated
Add xenlight and xentoollog

The xenlight module currently depends on changes in libxl that are not
yet upstreamed (but submitted upstream). Therefore, you need a special
version of the Xen RPM to compile the C bindings. The special version
has OCAML_READY #defined in libxl.h, so we are compiling the bindings
conditionally.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
Merge pull request #18 from robhoes/master

Add xenlight and xentoollog modules
Add Rob Hoes to the MAINTAINERS file

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Bump version number to 0.9.1.

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

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Typo: add Rob to the MAINTAINERS file exactly once

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

Bump version to 0.9.1
Bump version to 0.9.2

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

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge Gntshr and Gnttab into one file

This enables the two modules to share types without their definitions
being exposed in the external interface.

Signed-off-by: John Else <john.else@citrix.com>
Replace "xenctrlext" with "xc"

Signed-off-by: John Else <john.else@citrix.com>
Tidy up the Gntshr interface and add comments

Signed-off-by: John Else <john.else@citrix.com>
Removed a few warnings.
Added ocamldoc headers.
Updated Eventch doc.
Use a boolean instead of RO | RW.
Local_mapping now local to Gnttab.