arm: Define all platform drivers in same place

src/arch/arm/config.cmake

@@ -341,21 +341,6 @@ add_sources(
         smp/ipi.c
 )
 
-add_sources(
-    DEP "KernelArmCortexA9"
-    CFILES src/arch/arm/machine/l2c_310.c
-)
-
-add_sources(
-    DEP "KernelArmCortexA9;NOT KernelPlatformExynos4"
-    CFILES src/arch/arm/machine/priv_timer.c
-)
-
-add_sources(
-    DEP "KernelArmCortexA15 OR KernelArmCortexA7 OR KernelArmCortexA57 OR KernelArmCortexA9 OR KernelPlatformHikey OR KernelPlatformZynqmp"
-    CFILES src/arch/arm/machine/gic_pl390.c
-)
-
 add_bf_source_old("KernelArchARM" "structures.bf" "include/arch/arm" "arch/object")
 
 include(src/arch/arm/32/config.cmake)

src/plat/allwinnerA20/config.cmake

@@ -28,4 +28,5 @@ add_sources(
     CFILES src/plat/allwinnerA20/machine/io.c
            src/plat/allwinnerA20/machine/hardware.c
            src/plat/allwinnerA20/machine/l2cache.c
+           src/arch/arm/machine/gic_pl390.c
 )

src/plat/apq8064/config.cmake

@@ -28,4 +28,5 @@ add_sources(
         src/plat/apq8064/machine/l2cache.c
         src/plat/apq8064/machine/io.c
         src/plat/apq8064/machine/timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/exynos4/config.cmake

@@ -25,4 +25,6 @@ add_sources(
     CFILES
         src/plat/exynos_common/io.c
         src/plat/exynos4/machine/hardware.c
+        src/arch/arm/machine/l2c_310.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/exynos5/config.cmake

@@ -38,4 +38,5 @@ add_sources(
         src/plat/exynos5/machine/hardware.c
         src/plat/exynos5/machine/l2cache.c
         src/plat/exynos_common/io.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/hikey/config.cmake

@@ -76,4 +76,5 @@ add_sources(
         src/plat/hikey/machine/hardware.c
         src/plat/hikey/machine/io.c
         src/arch/arm/machine/generic_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/imx6/config.cmake

@@ -32,5 +32,9 @@ endif()
 
 add_sources(
     DEP "KernelPlatImx6"
-    CFILES src/plat/imx6/machine/io.c
+    CFILES
+        src/plat/imx6/machine/io.c
+        src/arch/arm/machine/l2c_310.c
+        src/arch/arm/machine/priv_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/imx7/config.cmake

@@ -29,4 +29,5 @@ add_sources(
     CFILES src/plat/imx7/machine/io.c
            src/plat/imx7/machine/hardware.c
            src/arch/arm/machine/generic_timer.c
+           src/arch/arm/machine/gic_pl390.c
 )

src/plat/tk1/config.cmake

@@ -30,6 +30,7 @@ add_sources(
         src/plat/tk1/machine/l2cache.c
         src/plat/tk1/machine/smmu.c
         src/arch/arm/machine/generic_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )
 
 add_bf_source_old("KernelPlatformTK1" "hardware.bf" "include/plat/tk1" "plat/machine")

src/plat/tx1/config.cmake

@@ -30,4 +30,5 @@ add_sources(
         src/plat/tx1/machine/io.c
         src/plat/tx1/machine/l2cache.c
         src/arch/arm/machine/generic_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/tx2/config.cmake

@@ -33,4 +33,5 @@ add_sources(
         src/plat/tx2/machine/io.c
         src/plat/tx2/machine/l2cache.c
         src/arch/arm/machine/generic_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/zynq7000/config.cmake

@@ -22,5 +22,9 @@ endif()
 
 add_sources(
     DEP "KernelPlatformZynq7000"
-    CFILES src/plat/zynq7000/machine/io.c
+    CFILES
+        src/plat/zynq7000/machine/io.c
+        src/arch/arm/machine/l2c_310.c
+        src/arch/arm/machine/priv_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )

src/plat/zynqmp/config.cmake

@@ -39,4 +39,5 @@ add_sources(
         src/plat/zynqmp/machine/hardware.c
         src/plat/zynqmp/machine/io.c
         src/arch/arm/machine/generic_timer.c
+        src/arch/arm/machine/gic_pl390.c
 )