djs55/ocaml-vchan — pull request #2 by djs55 (2014-06-14 15:53:32+00:00)
Title: Use new evtchn,gnt; build CLI by default

This includes @jonludlam's unmerged changes.