Hello, Jan! On 2/23/21 6:41 PM, Jan Beulich wrote: > By having selected DRM_XEN, I was assuming I would build the frontend > driver. As it turns out this is a dummy option, and I have really not > been building this (because I had DRM disabled). Make it a promptless > one, moving the "depends on" to the other, real option, and "select"ing > the dummy one. > > Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx> Reviewed-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@xxxxxxxx> > --- a/drivers/gpu/drm/xen/Kconfig > +++ b/drivers/gpu/drm/xen/Kconfig > @@ -1,15 +1,11 @@ > # SPDX-License-Identifier: GPL-2.0-only > config DRM_XEN > - bool "DRM Support for Xen guest OS" > - depends on XEN > - help > - Choose this option if you want to enable DRM support > - for Xen. > + bool > > config DRM_XEN_FRONTEND > tristate "Para-virtualized frontend driver for Xen guest OS" > - depends on DRM_XEN > - depends on DRM > + depends on XEN && DRM > + select DRM_XEN > select DRM_KMS_HELPER > select VIDEOMODE_HELPERS > select XEN_XENBUS_FRONTEND _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
