Add initial i.MX8M Mini evk 64-bit Support

This adds support for the 64-bit i.MX8M Mini evaluation kit.
Currently only AArch64 EL1 is supported.

libsel4/sel4_plat_include/imx8mm-evk

+imx8mq-evk/
\ No newline at end of file

src/plat/imx8mq-evk/config.cmake → src/plat/imx8m-evk/config.cmake

@@ -13,8 +13,9 @@
 cmake_minimum_required(VERSION 3.7.2)
 
 declare_platform(imx8mq-evk KernelPlatformImx8mq-evk PLAT_IMX8MQ_EVK KernelArchARM)
+declare_platform(imx8mm-evk KernelPlatformImx8mm-evk PLAT_IMX8MM_EVK KernelArchARM)
 
-if(KernelPlatformImx8mq-evk)
+if(KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk)
     if("${KernelSel4Arch}" STREQUAL aarch32)
         declare_seL4_arch(aarch32)
     elseif("${KernelSel4Arch}" STREQUAL aarch64)
@@ -28,13 +29,13 @@ if(KernelPlatformImx8mq-evk)
     endif()
     set(KernelArmCortexA53 ON)
     set(KernelArchArmV8a ON)
-    config_set(KernelARMPlatform PLAT "imx8mq-evk")
+    config_set(KernelARMPlatform PLAT ${KernelPlatform})
     set(KernelArmMach "imx" CACHE INTERNAL "")
     set(KernelArmPASizeBits40 ON)
-    list(APPEND KernelDTSList "tools/dts/imx8mq-evk.dts")
-    list(APPEND KernelDTSList "src/plat/imx8mq-evk/overlay-imx8m.dts")
+    list(APPEND KernelDTSList "tools/dts/${KernelPlatform}.dts")
+    list(APPEND KernelDTSList "src/plat/imx8m-evk/overlay-${KernelPlatform}.dts")
     if(KernelSel4ArchAarch32)
-        list(APPEND KernelDTSList "src/plat/imx8mq-evk/overlay-imx8m-32bit.dts")
+        list(APPEND KernelDTSList "src/plat/imx8m-evk/overlay-imx8m-32bit.dts")
     endif()
     declare_default_headers(
         TIMER_FREQUENCY 8000000llu
@@ -45,6 +46,6 @@ if(KernelPlatformImx8mq-evk)
 endif()
 
 add_sources(
-    DEP "KernelPlatformImx8mq-evk"
+    DEP "KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk"
     CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c
 )

src/plat/imx8m-evk/overlay-imx8mm-evk.dts

+/*
+ * Copyright 2019, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the GNU General Public License version 2. Note that NO WARRANTY is provided.
+ * See "LICENSE_GPLv2.txt" for details.
+ *
+ * @TAG(DATA61_GPL)
+ */
+
+/ {
+
+    /* These devices exists in the SOC documentation, but not in the DTS from Linux */
+    gpt@302d0000 {
+        compatible = "fsl,imx8mq-gpt\0fsl,imx7d-gpt";
+        reg = < 0x00 0x302d0000 0x00 0x10000 >;
+        interrupts = < 0x00 0x37 0x04 >;
+        clocks = < 0x04 0xc5 0x04 0xc5 0x04 0xf9 >;
+        clock-names = "ipg\0per\0osc_per";
+        status = "disabled";
+    };
+
+    gpt@302e0000 {
+        compatible = "fsl,imx8mq-gpt\0fsl,imx7d-gpt";
+        reg = < 0x00 0x302e0000 0x00 0x10000 >;
+        interrupts = < 0x00 0x36 0x04 >;
+        clocks = < 0x04 0xc5 0x04 0xc5 0x04 0xf9 >;
+        clock-names = "ipg\0per\0osc_per";
+        status = "disabled";
+    };
+
+};

tools/dts/update-dts.sh

@@ -68,6 +68,7 @@ nvidia/tegra210-p2371-2180=tx1
 xilinx/avnet-ultra96-rev1=ultra96
 xilinx/zynqmp-zcu102-rev1.0=zynqmp
 freescale/fsl-imx8mq-evk=imx8mq-evk
+freescale/fsl-imx8mm-evk=imx8mm-evk
 "
 
 extract_dts() {