CONFIG_DRM_XEN (not configurable)
configname: CONFIG_DRM_XEN
Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>DRM_XEN