VFIO: platform: enable ARM64 build

This patch enables building VFIO platform and derivatives on ARM64.

Signed-off-by: Eric Auger <eric.auger@linaro.org>
Acked-by: Baptiste Reynal <b.reynal@virtualopensystems.com>
Tested-by: Baptiste Reynal <b.reynal@virtualopensystems.com>
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>

diff --git a/drivers/vfio/platform/Kconfig b/drivers/vfio/platform/Kconfig
index 1df7477..bb30128 100644 (file)
--- a/drivers/vfio/platform/Kconfig
+++ b/drivers/vfio/platform/Kconfig
@@ -1,6 +1,6 @@
 config VFIO_PLATFORM
        tristate "VFIO support for platform devices"
-       depends on VFIO && EVENTFD && ARM
+       depends on VFIO && EVENTFD && (ARM || ARM64)
        select VFIO_VIRQFD
        help
          Support for platform devices with VFIO. This is required to make