1*ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 2c575b7eeSOleksandr Andrushchenkoconfig DRM_XEN 3c575b7eeSOleksandr Andrushchenko bool "DRM Support for Xen guest OS" 4c575b7eeSOleksandr Andrushchenko depends on XEN 5c575b7eeSOleksandr Andrushchenko help 6c575b7eeSOleksandr Andrushchenko Choose this option if you want to enable DRM support 7c575b7eeSOleksandr Andrushchenko for Xen. 8c575b7eeSOleksandr Andrushchenko 9c575b7eeSOleksandr Andrushchenkoconfig DRM_XEN_FRONTEND 10c575b7eeSOleksandr Andrushchenko tristate "Para-virtualized frontend driver for Xen guest OS" 11c575b7eeSOleksandr Andrushchenko depends on DRM_XEN 12c575b7eeSOleksandr Andrushchenko depends on DRM 13c575b7eeSOleksandr Andrushchenko select DRM_KMS_HELPER 14c575b7eeSOleksandr Andrushchenko select VIDEOMODE_HELPERS 15c575b7eeSOleksandr Andrushchenko select XEN_XENBUS_FRONTEND 165641f19bSOleksandr Andrushchenko select XEN_FRONT_PGDIR_SHBUF 17c575b7eeSOleksandr Andrushchenko help 18c575b7eeSOleksandr Andrushchenko Choose this option if you want to enable a para-virtualized 19c575b7eeSOleksandr Andrushchenko frontend DRM/KMS driver for Xen guest OSes. 20