Xen /dev/xen/evtchn device
modulename: xen-evtchn.ko
configname: CONFIG_XEN_DEV_EVTCHN
Linux Kernel Configuration
└─>Device Drivers
└─>Xen driver support
└─>Xen /dev/xen/evtchn device
In linux kernel since version 2.6.31 (release Date: 2009-09-09)
The evtchn driver allows a userspace process to trigger event
channels and to receive notification of an event channel
firing.
If in doubt, say yes.
channels and to receive notification of an event channel
firing.
If in doubt, say yes.