Previously the XILINX_INTC config option was hidden and only
auto-selected on the MicroBlaze platform. However, this IP can also be
used on the Zynq and ZynqMP platforms as a secondary cascaded
controller. Allow this option to be user-enabled on those platforms.
Signed-off-by: Robert Hancock <robert.hancock@calian.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Link: https://lore.kernel.org/r/20210423185853.2556087-1-robert.hancock@calian.com
 
        select GENERIC_IRQ_EFFECTIVE_AFF_MASK
 
 config XILINX_INTC
-       bool
+       bool "Xilinx Interrupt Controller IP"
+       depends on MICROBLAZE || ARCH_ZYNQ || ARCH_ZYNQMP
        select IRQ_DOMAIN
+       help
+         Support for the Xilinx Interrupt Controller IP core.
+         This is used as a primary controller with MicroBlaze and can also
+         be used as a secondary chained controller on other platforms.
 
 config IRQ_CROSSBAR
        bool