From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Williamson Subject: [RESEND PATCH v5 0/4] VFIO-based PCI device assignment Date: Tue, 25 Sep 2012 21:38:27 -0600 Message-ID: <20120926033554.29058.30735.stgit@bling.home> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Cc: qemu-devel@nongnu.org, kvm@vger.kernel.org, jan.kiszka@siemens.com, avi@redhat.com, blauwirbel@gmail.com, aik@ozlabs.ru, alex.williamson@redhat.com To: aliguori@us.ibm.com Return-path: Received: from mx1.redhat.com ([209.132.183.28]:37415 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751107Ab2IZDig (ORCPT ); Tue, 25 Sep 2012 23:38:36 -0400 Sender: kvm-owner@vger.kernel.org List-ID: 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