armv8: Add missing GIC Mackerel devices to Hakefile
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Mon, 2 Dec 2019 12:25:12 +0000 (13:25 +0100)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Wed, 18 Mar 2020 14:15:02 +0000 (15:15 +0100)
imx8x and RPi were missing the GICv3 Mackerel devices
in kernel Hakefile

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

kernel/Hakefile

index a0cddf9..ad113ed 100644 (file)
@@ -663,6 +663,8 @@ let
         "armv8",
         "armv8/armv8_cache_ctrl",
         "arm_icp_pit",
+        "gic_v3_dist",
+        "gic_v3_redist",
         "rpi3_miniuart"
     ],
     addLibraries = [
@@ -764,6 +766,8 @@ let
         "armv8",
         "armv8/armv8_cache_ctrl",
         "arm_icp_pit",
+        "gic_v3_dist",
+        "gic_v3_redist",
         "lpuart"
     ],
     addLibraries = [