Functorize over Activations

Signed-off-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Remove xenctrl dependency.

The memory barriers are in the xenctrl module at the moment which
seems the wrong place. Additionally, x86 is strongly ordered, so
comment them out for now until we can get the mb operations into a
library elsewhere.

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Mirage 1.1.0 update

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Update CHANGES

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Merge pull request #8 from jonludlam/new-mirage

New mirage
Make sure the wait function is serialised.

Readers and writers share the same event channel, which
could lead to missing events with the previous code. This
ensures we only ever have one thread waiting on the
Activations module.

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Fix the compilation of the Vchan CLI and make it build by default

Signed-off-by: Jon Ludlam <jonathan.ludlam@citrix.com>
Instantiate the xenstore client functor

This allows the CLI to build.

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: update the package list

Signed-off-by: David Scott <dave.scott@citrix.com>
OASIS: regenerate; add missing file

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

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: assume OCaml 4.01 and OPAM 1.1

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: don't fetch packages from OCamlPro/opam-repository

Signed-off-by: David Scott <dave.scott@citrix.com>
We require xen-evtchn >= 1.0.3

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #10 from mirage/cli

Build CLI by default
Update to 0.9.5

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

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #12 from djs55/release.0.9.5

Release.0.9.5
Release 0.9.6

We should depend on mirage-types.lwt, not the mirage tool itself.

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #14 from djs55/release.0.9.6

Release 0.9.6