[Qemu-devel] [RESEND PATCH v5 0/4] VFIO-based PCI device assignment

[Alex Williamson]

Only change is adding Michael's ack.  Thanks,

Alex

---

Alex Williamson (4):
      vfio: Enable vfio-pci and mark supported
      vfio: vfio-pci device assignment driver
      Update Linux kernel headers
      Update kernel header script to include vfio


 MAINTAINERS                     |    5 
 configure                       |    6 
 hw/Makefile.objs                |    3 
 hw/vfio_pci.c                   | 1864 +++++++++++++++++++++++++++++++++++++++
 hw/vfio_pci_int.h               |  114 ++
 linux-headers/linux/vfio.h      |  368 ++++++++
 scripts/update-linux-headers.sh |    2 
 7 files changed, 2360 insertions(+), 2 deletions(-)
 create mode 100644 hw/vfio_pci.c
 create mode 100644 hw/vfio_pci_int.h
 create mode 100644 linux-headers/linux/vfio.h