1# SPDX-License-Identifier: GPL-2.0-only 2config DRM_XEN 3 bool 4 5config DRM_XEN_FRONTEND 6 tristate "Para-virtualized frontend driver for Xen guest OS" 7 depends on XEN && DRM 8 select DRM_XEN 9 select DRM_KMS_HELPER 10 select VIDEOMODE_HELPERS 11 select XEN_XENBUS_FRONTEND 12 select XEN_FRONT_PGDIR_SHBUF 13 help 14 Choose this option if you want to enable a para-virtualized 15 frontend DRM/KMS driver for Xen guest OSes. 16