Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / drivers / vfio / platform / Kconfig
diff --git a/kernel/drivers/vfio/platform/Kconfig b/kernel/drivers/vfio/platform/Kconfig
new file mode 100644 (file)
index 0000000..9a4403e
--- /dev/null
@@ -0,0 +1,20 @@
+config VFIO_PLATFORM
+       tristate "VFIO support for platform devices"
+       depends on VFIO && EVENTFD && ARM
+       select VFIO_VIRQFD
+       help
+         Support for platform devices with VFIO. This is required to make
+         use of platform devices present on the system using the VFIO
+         framework.
+
+         If you don't know what to do here, say N.
+
+config VFIO_AMBA
+       tristate "VFIO support for AMBA devices"
+       depends on VFIO_PLATFORM && ARM_AMBA
+       help
+         Support for ARM AMBA devices with VFIO. This is required to make
+         use of ARM AMBA devices present on the system using the VFIO
+         framework.
+
+         If you don't know what to do here, say N.