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