On 10/27/2014 07:07 PM, Antonios Motakis wrote: > Enable building the VFIO PLATFORM driver that allows to use Linux platform > devices with VFIO. > > Signed-off-by: Antonios Motakis <a.mota...@virtualopensystems.com> > --- > drivers/vfio/Kconfig | 1 + > drivers/vfio/Makefile | 1 + > drivers/vfio/platform/Kconfig | 9 +++++++++ > drivers/vfio/platform/Makefile | 4 ++++ > 4 files changed, 15 insertions(+) > create mode 100644 drivers/vfio/platform/Kconfig > create mode 100644 drivers/vfio/platform/Makefile > > diff --git a/drivers/vfio/Kconfig b/drivers/vfio/Kconfig > index a0abe04..962fb80 100644 > --- a/drivers/vfio/Kconfig > +++ b/drivers/vfio/Kconfig > @@ -27,3 +27,4 @@ menuconfig VFIO > If you don't know what to do here, say N. > > source "drivers/vfio/pci/Kconfig" > +source "drivers/vfio/platform/Kconfig" > diff --git a/drivers/vfio/Makefile b/drivers/vfio/Makefile > index 0b035b1..dadf0ca 100644 > --- a/drivers/vfio/Makefile > +++ b/drivers/vfio/Makefile > @@ -3,3 +3,4 @@ obj-$(CONFIG_VFIO_IOMMU_TYPE1) += vfio_iommu_type1.o > obj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.o > obj-$(CONFIG_VFIO_SPAPR_EEH) += vfio_spapr_eeh.o > obj-$(CONFIG_VFIO_PCI) += pci/ > +obj-$(CONFIG_VFIO_PLATFORM) += platform/ > diff --git a/drivers/vfio/platform/Kconfig b/drivers/vfio/platform/Kconfig > new file mode 100644 > index 0000000..c51af17 > --- /dev/null > +++ b/drivers/vfio/platform/Kconfig > @@ -0,0 +1,9 @@ > +config VFIO_PLATFORM > + tristate "VFIO support for platform devices" > + depends on VFIO && EVENTFD && ARM In http://www.spinics.net/lists/kvm/msg106815.html, Joel proposed adding support for ARM64 too. I took part of his patch in irqfd next release and you may add support for ARM64 here or in another patch. What do you think?
Best Regards Eric > + help > + Support for platform devices with VFIO. This is required to make > + use of platform devices present on the system using the VFIO > + framework. > + > + If you don't know what to do here, say N. > diff --git a/drivers/vfio/platform/Makefile b/drivers/vfio/platform/Makefile > new file mode 100644 > index 0000000..279862b > --- /dev/null > +++ b/drivers/vfio/platform/Makefile > @@ -0,0 +1,4 @@ > + > +vfio-platform-y := vfio_platform.o vfio_platform_common.o > + > +obj-$(CONFIG_VFIO_PLATFORM) += vfio-platform.o > _______________________________________________ iommu mailing list iommu@lists.linux-foundation.org https://lists.linuxfoundation.org/mailman/listinfo/iommu
