On 09/02/2018 05:52 PM, Kenneth Lee wrote: > diff --git a/drivers/vfio/sdmdev/Kconfig b/drivers/vfio/sdmdev/Kconfig > new file mode 100644 > index 000000000000..51474272870d > --- /dev/null > +++ b/drivers/vfio/sdmdev/Kconfig > @@ -0,0 +1,10 @@ > +# SPDX-License-Identifier: GPL-2.0 > +config VFIO_SDMDEV > + tristate "Support for Share Domain MDEV" > + depends on VFIO_MDEV_DEVICE > + help > + Support for VFIO Share Domain MDEV, which enables the kernel to > + support light weight hardware accelerator framework, WarpDrive. lightweight > + > + To compile this as a module, choose M here: the module will be called > + sdmdev. thanks, -- ~Randy