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.

 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.