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
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
