From mboxrd@z Thu Jan  1 00:00:00 1970
From: David Scott <dave.scott@eu.citrix.com>
Subject: ocaml: eventchn: tidy up the module
Date: Wed, 20 Mar 2013 20:24:41 +0000
Message-ID: <1363811085-6700-1-git-send-email-dave.scott@eu.citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: xen-devel@lists.xen.org
Cc: jonathan.ludlam@eu.citrix.com
List-Id: xen-devel@lists.xenproject.org

Hi,

The following patches improve the Xeneventchn interface by:
* adding an opaque type to represent a local event channel binding
* hiding implementation details from the .mli
* adding ocamldoc strings to describe the functions

The Xeneventchn interface is now compatible with the Mirage[1]
minios-based Eventchn interface so it's now possible to compile
the same code for both a Mirage kernel and Unix userspace (tested
by building git://github.com/djs55/ocaml-xen-block-driver although
note this still requires external grantdev bindings)

The last patch removes an unused exception.

Cheers,
Dave

[1] Mirage: http://www.openmirage.org/