zynqmp: Add support for aarch32 hyp

Enable building AArch32 HYP kernel for ZCU102.

Signed-off-by: Siwei Zhuang <siwei.zhuang@data61.csiro.au>

include/arch/arm/armv/armv8-a/32/armv/vcpu.h

@@ -0,0 +1 @@
+../../../armv7-a/armv/vcpu.h

src/plat/zynqmp/config.cmake

@@ -21,6 +21,8 @@ if(KernelPlatformZynqmp)
         declare_seL4_arch(aarch32)
     elseif("${KernelSel4Arch}" STREQUAL aarch64)
         declare_seL4_arch(aarch64)
+    elseif("${KernelSel4Arch}" STREQUAL arm_hyp)
+        declare_seL4_arch(arm_hyp)
     else()
         fallback_declare_seL4_arch_default(aarch64)
     endif()
@@ -35,7 +37,12 @@ if(KernelPlatformZynqmp)
     if(NOT KernelPlatformUltra96)
         list(APPEND KernelDTSList "tools/dts/zynqmp.dts")
     endif()
-    list(APPEND KernelDTSList "src/plat/zynqmp/overlay-zynqmp.dts")
+
+    if(KernelSel4ArchAarch32)
+        list(APPEND KernelDTSList "src/plat/zynqmp/overlay-zynqmp32.dts")
+    else()
+        list(APPEND KernelDTSList "src/plat/zynqmp/overlay-zynqmp.dts")
+    endif()
 
     declare_default_headers(
         TIMER_FREQUENCY 100000000llu

src/plat/zynqmp/overlay-zynqmp32.dts

@@ -0,0 +1,22 @@
+/*
+ * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ */
+
+/ {
+    chosen {
+		seL4,elfloader-devices =
+		    "serial0",
+		    &{/psci};
+		seL4,kernel-devices =
+		    "serial0",
+		    &{/amba_apu@0/interrupt-controller@f9010000},
+		    &{/timer};
+    };
+
+	memory@0 {
+		device_type = "memory";
+		reg = < 0x00 0x00 0x00 0x80000000 >;
+	};
+};