^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) # SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) config DRM_XEN
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) bool "DRM Support for Xen guest OS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) depends on XEN
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) Choose this option if you want to enable DRM support
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) for Xen.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) config DRM_XEN_FRONTEND
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) tristate "Para-virtualized frontend driver for Xen guest OS"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) depends on DRM_XEN
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) depends on DRM
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) select DRM_KMS_HELPER
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) select VIDEOMODE_HELPERS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) select XEN_XENBUS_FRONTEND
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) select XEN_FRONT_PGDIR_SHBUF
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) Choose this option if you want to enable a para-virtualized
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) frontend DRM/KMS driver for Xen guest OSes.