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.