Xen PV guest support

modulename: setup.ko

configname: CONFIG_XEN_PV

Linux Kernel Configuration
└─>Xen PV guest support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support running as a Xen PV guest.

source code:
/arch/x86/xen/


is selected by
CONFIG_XEN_DOM0