CONFIG_DRM_XEN (not configurable)

configname: CONFIG_DRM_XEN

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>DRM_XEN
In linux kernel since version 3.10 (release Date: 2013-06-30)  

is depended by
CONFIG_DRM_XEN_FRONTEND