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.
16