Linux 4.19.133
[linux/fpc-iii.git] / drivers / vfio / Makefile
blobde67c4725cce99080c7792e77894c6d37b99d717
1 # SPDX-License-Identifier: GPL-2.0
2 vfio_virqfd-y := virqfd.o
4 obj-$(CONFIG_VFIO) += vfio.o
5 obj-$(CONFIG_VFIO_VIRQFD) += vfio_virqfd.o
6 obj-$(CONFIG_VFIO_IOMMU_TYPE1) += vfio_iommu_type1.o
7 obj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.o
8 obj-$(CONFIG_VFIO_SPAPR_EEH) += vfio_spapr_eeh.o
9 obj-$(CONFIG_VFIO_PCI) += pci/
10 obj-$(CONFIG_VFIO_PLATFORM) += platform/
11 obj-$(CONFIG_VFIO_MDEV) += mdev/