aboutsummaryrefslogtreecommitdiff
path: root/hw
diff options
context:
space:
mode:
authorAlex Williamson <alex.williamson@redhat.com>2012-09-26 11:19:39 -0600
committerAnthony Liguori <aliguori@us.ibm.com>2012-10-01 08:04:23 -0500
commit92e1fb5ed1a26d09ee754845d5691d473410c1dc (patch)
tree1b9f47db4b07fcf0e52aceb691b19dbc0dc8e154 /hw
parent65501a745dbaf28284e099f724aa5fc478eae0e7 (diff)
vfio: Enable vfio-pci and mark supported
Enabled for all softmmu guests supporting PCI on Linux hosts. Note that currently only x86 hosts have the kernel side VFIO IOMMU support for this. PPC (g3beige) is the only non-x86 guest known to work. ARM (veratile) hangs in firmware, others untested. Signed-off-by: Alex Williamson <alex.williamson@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'hw')
-rw-r--r--hw/Makefile.objs3
1 files changed, 2 insertions, 1 deletions
diff --git a/hw/Makefile.objs b/hw/Makefile.objs
index 6dfebd2978..ecdbe44ddd 100644
--- a/hw/Makefile.objs
+++ b/hw/Makefile.objs
@@ -198,7 +198,8 @@ obj-$(CONFIG_VGA) += vga.o
obj-$(CONFIG_SOFTMMU) += device-hotplug.o
obj-$(CONFIG_XEN) += xen_domainbuild.o xen_machine_pv.o
-# Inter-VM PCI shared memory
+# Inter-VM PCI shared memory & VFIO PCI device assignment
ifeq ($(CONFIG_PCI), y)
obj-$(CONFIG_KVM) += ivshmem.o
+obj-$(CONFIG_LINUX) += vfio_pci.o
endif