18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciconfig DRM_XEN 38c2ecf20Sopenharmony_ci bool "DRM Support for Xen guest OS" 48c2ecf20Sopenharmony_ci depends on XEN 58c2ecf20Sopenharmony_ci help 68c2ecf20Sopenharmony_ci Choose this option if you want to enable DRM support 78c2ecf20Sopenharmony_ci for Xen. 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciconfig DRM_XEN_FRONTEND 108c2ecf20Sopenharmony_ci tristate "Para-virtualized frontend driver for Xen guest OS" 118c2ecf20Sopenharmony_ci depends on DRM_XEN 128c2ecf20Sopenharmony_ci depends on DRM 138c2ecf20Sopenharmony_ci select DRM_KMS_HELPER 148c2ecf20Sopenharmony_ci select VIDEOMODE_HELPERS 158c2ecf20Sopenharmony_ci select XEN_XENBUS_FRONTEND 168c2ecf20Sopenharmony_ci select XEN_FRONT_PGDIR_SHBUF 178c2ecf20Sopenharmony_ci help 188c2ecf20Sopenharmony_ci Choose this option if you want to enable a para-virtualized 198c2ecf20Sopenharmony_ci frontend DRM/KMS driver for Xen guest OSes. 20