[PATCH] Enable zynq gpio and xilinx gpio support for the Zynq MP platform.

[Greg Gallagher via Xenomai]

From: Joshua Karch <jkarc...@hotmail.com>

        Signed-off-by: Joshua Karch <jkarc...@hotmail.com>
        Signed-off-by: Greg Gallagher <g...@embeddedgreg.com>
---
 kernel/drivers/gpio/Kconfig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/drivers/gpio/Kconfig b/kernel/drivers/gpio/Kconfig
index dbc862754..44f41688c 100644
--- a/kernel/drivers/gpio/Kconfig
+++ b/kernel/drivers/gpio/Kconfig
@@ -34,7 +34,7 @@ config XENO_DRIVERS_GPIO_SUN8I_H3
        SoC, as found on the NanoPI boards.
 
 config XENO_DRIVERS_GPIO_ZYNQ7000
-       depends on ARCH_ZYNQ
+       depends on ARCH_ZYNQ || ARCH_ZYNQMP
        tristate "Support for Zynq7000 GPIOs"
        help
 
@@ -42,7 +42,7 @@ config XENO_DRIVERS_GPIO_ZYNQ7000
        Xilinx's Zynq7000 SoC.
 
 config XENO_DRIVERS_GPIO_XILINX
-       depends on ARCH_ZYNQ
+       depends on ARCH_ZYNQ || ARCH_ZYNQMP
        tristate "Support for Xilinx GPIOs"
        help
 
-- 
2.25.1