diff --git a/MAINTAINERS b/MAINTAINERS index 25733fc86474c399461ec6bc1abcb37fe9cd2558..29aac4fce686ebd65c866a256c6327a21e89eb05 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -474,6 +474,11 @@ M: Gerd Hoffmann S: Maintained F: hw/usb* +VFIO +M: Alex Williamson +S: Supported +F: hw/vfio* + vhost M: Michael S. Tsirkin S: Supported diff --git a/hw/Makefile.objs b/hw/Makefile.objs index 6dfebd2978c35e1007ea9ee8bf5b1c9d0750ebcf..ecdbe44ddd17f370f91e6574789c5dd4ae263ef2 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