kernel/drivers/gpu/drm/xen/Kconfig
.. .. @@ -1,3 +1,4 @@ 1 +# SPDX-License-Identifier: GPL-2.0-only1 2 config DRM_XEN 2 3 bool "DRM Support for Xen guest OS" 3 4 depends on XEN .. .. @@ -12,6 +13,7 @@ 12 13 select DRM_KMS_HELPER 13 14 select VIDEOMODE_HELPERS 14 15 select XEN_XENBUS_FRONTEND 16 + select XEN_FRONT_PGDIR_SHBUF15 17 help 16 18 Choose this option if you want to enable a para-virtualized 17 19 frontend DRM/KMS driver for Xen guest OSes.