diff options
author | Antonios Motakis <a.motakis@virtualopensystems.com> | 2015-03-16 16:08:44 -0400 |
---|---|---|
committer | Alex Williamson <alex.williamson@redhat.com> | 2015-03-16 16:08:44 -0400 |
commit | 53161532394b3b3c7e1ec9c80658edd75446ac77 (patch) | |
tree | 958cec94104e11c42281bdb6a47ba24597acc5ce /drivers/vfio | |
parent | 9df85aaa43297cb12dc85155695dd1bfdf94f91d (diff) |
vfio: platform: add the VFIO PLATFORM module to Kconfig
Enable building the VFIO PLATFORM driver that allows to use Linux platform
devices with VFIO.
Signed-off-by: Antonios Motakis <a.motakis@virtualopensystems.com>
Signed-off-by: Baptiste Reynal <b.reynal@virtualopensystems.com>
Reviewed-by: Eric Auger <eric.auger@linaro.org>
Tested-by: Eric Auger <eric.auger@linaro.org>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
Diffstat (limited to 'drivers/vfio')
-rw-r--r-- | drivers/vfio/Kconfig | 1 | ||||
-rw-r--r-- | drivers/vfio/Makefile | 1 | ||||
-rw-r--r-- | drivers/vfio/platform/Kconfig | 9 | ||||
-rw-r--r-- | drivers/vfio/platform/Makefile | 4 |
4 files changed, 15 insertions, 0 deletions
diff --git a/drivers/vfio/Kconfig b/drivers/vfio/Kconfig index 14e27ab32456..d5322a434a7a 100644 --- a/drivers/vfio/Kconfig +++ b/drivers/vfio/Kconfig | |||
@@ -27,3 +27,4 @@ menuconfig VFIO | |||
27 | If you don't know what to do here, say N. | 27 | If you don't know what to do here, say N. |
28 | 28 | ||
29 | source "drivers/vfio/pci/Kconfig" | 29 | source "drivers/vfio/pci/Kconfig" |
30 | source "drivers/vfio/platform/Kconfig" | ||
diff --git a/drivers/vfio/Makefile b/drivers/vfio/Makefile index 0b035b12600a..dadf0ca146ef 100644 --- a/drivers/vfio/Makefile +++ b/drivers/vfio/Makefile | |||
@@ -3,3 +3,4 @@ obj-$(CONFIG_VFIO_IOMMU_TYPE1) += vfio_iommu_type1.o | |||
3 | obj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.o | 3 | obj-$(CONFIG_VFIO_IOMMU_SPAPR_TCE) += vfio_iommu_spapr_tce.o |
4 | obj-$(CONFIG_VFIO_SPAPR_EEH) += vfio_spapr_eeh.o | 4 | obj-$(CONFIG_VFIO_SPAPR_EEH) += vfio_spapr_eeh.o |
5 | obj-$(CONFIG_VFIO_PCI) += pci/ | 5 | obj-$(CONFIG_VFIO_PCI) += pci/ |
6 | obj-$(CONFIG_VFIO_PLATFORM) += platform/ | ||
diff --git a/drivers/vfio/platform/Kconfig b/drivers/vfio/platform/Kconfig new file mode 100644 index 000000000000..c51af17b4e49 --- /dev/null +++ b/drivers/vfio/platform/Kconfig | |||
@@ -0,0 +1,9 @@ | |||
1 | config VFIO_PLATFORM | ||
2 | tristate "VFIO support for platform devices" | ||
3 | depends on VFIO && EVENTFD && ARM | ||
4 | help | ||
5 | Support for platform devices with VFIO. This is required to make | ||
6 | use of platform devices present on the system using the VFIO | ||
7 | framework. | ||
8 | |||
9 | If you don't know what to do here, say N. | ||
diff --git a/drivers/vfio/platform/Makefile b/drivers/vfio/platform/Makefile new file mode 100644 index 000000000000..279862b74850 --- /dev/null +++ b/drivers/vfio/platform/Makefile | |||
@@ -0,0 +1,4 @@ | |||
1 | |||
2 | vfio-platform-y := vfio_platform.o vfio_platform_common.o | ||
3 | |||
4 | obj-$(CONFIG_VFIO_PLATFORM) += vfio-platform.o | ||