xen-evtchn

Xen event channel interface for MirageOS
Description

Event channels are the Xen equivalent of interrupts, used to signal when data (or space) is available for processing. There are 2 distinct implementations:

  1. a Xen shared-memory + hypercall protocol for kernelspace
  2. a binding to a set of libxc functions which access /dev/xen/evtchn for userspace (see xen-evtchn-unix opam package).
Install
Published
13 Feb 2019
Authors
Maintainers
Sources
xen-evtchn-v2.1.0.tbz
md5=5df050f2aaca4cc9d006042633277dbd
Dependencies
Reverse Dependencies
mirage-console-xen >= "2.2.0" & < "4.0.0"
mirage-qubes < "0.9.0"
mirage-xen >= "1.1.0" & < "6.0.0"
vchan-unix >= "6.0.1"
xen-disk >= "1.2.1"