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.