K 10
svn:author
V 5
gibbs
K 8
svn:date
V 27
2013-10-20T22:50:57.674339Z
K 7
svn:log
V 233
The Xen userland event channel driver isn't complete.  Disabled it
from the kernel build until it is ready.

sys/conf/files:
	Remove the entry for xen/evtchn/evtchn_dev.c so it is not included
	in any kernel builds.

Noticed by:	smh

END