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