drivers/gic: Make the GIC driver conditional to HAVE_INTCTLR

Arm ports of platforms that don't have an interrupt controller
(linuxu, xen) should not display the GIC driver in menuconfig.
Make the GIC driver conditional to `HAVE_INTCTLR` to prevent it
from being dispayed in these platforms.

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1103

diff --git a/drivers/ukintctlr/gic/Config.uk b/drivers/ukintctlr/gic/Config.uk
index bb93fc2ab76c19f9d9d58316a601d6ce32d5cb67..a62ae03850eee019c739262c51db1d7bdf31d00e 100644 (file)
--- a/drivers/ukintctlr/gic/Config.uk
+++ b/drivers/ukintctlr/gic/Config.uk
@@ -4,10 +4,10 @@ config LIBUKINTCTLR_GIC
 
 config LIBUKINTCTLR_GICV2
        bool "Arm Generic Interrupt Controller (GICv2)"
-       depends on ARCH_ARM_64
+       depends on (HAVE_INTCTLR && ARCH_ARM_64)
        select LIBUKINTCTLR_GIC
 
 config LIBUKINTCTLR_GICV3
        bool "Arm Generic Interrupt Controller (GICv3)"
-       depends on ARCH_ARM_64
+       depends on (HAVE_INTCTLR && ARCH_ARM_64)
        select LIBUKINTCTLR_GIC