Use mimx93_evk_a55 board for SOF also

.github/workflows/zephyr.yml

@@ -88,7 +88,7 @@ jobs:
           # four 32bits parameters.
           cd workspace && ./sof/zephyr/docker-run.sh /bin/sh -c \
              'ln -s  /opt/toolchains/zephyr-sdk-*  ~/;
-              west build --board mimx93_evk_a55_sof sof/app'
+              west build --board mimx93_evk_a55 sof/app'
 
 
   build-linux:

app/boards/mimx93_evk_a55.conf

@@ -0,0 +1,16 @@
+#
+# Copyright 2023 NXP
+#
+# SPDX-License-Identifier: Apache-2.0
+
+# Enable dynamic interrupts
+CONFIG_DYNAMIC_INTERRUPTS=y
+
+CONFIG_ARM64_VA_BITS_40=y
+CONFIG_ARM64_PA_BITS_40=y
+
+CONFIG_DCACHE_LINE_SIZE_DETECT=n
+CONFIG_DCACHE_LINE_SIZE=64
+
+CONFIG_IMX93_A55=y
+CONFIG_TRACE=n

app/boards/mimx93_evk_a55.overlay

@@ -0,0 +1,61 @@
+/*
+ * Copyright 2023 NXP
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/ {
+	/delete-node/ memory@c0000000;
+	/* Inmate memory, reserved through "mem=1248MB" boot argument,
+	 * starts at 0xce000000.
+	 */
+	sram0: memory@ce000000 {
+		reg = <0xce000000 DT_SIZE_M(1)>;
+	};
+
+	/* TODO: all of the nodes below are needed by SOF and should
+	 * be removed once all drivers used by SOF have been moved
+	 * to Zephyr.
+	 *
+	 * They are added in the DTS for the sake of not using hardcoded
+	 * values in mmu_regions.c
+	 */
+	mu2_a: memory@42430000 {
+		reg = <0x42430000 DT_SIZE_K(64)>;
+	};
+
+	sai3: memory@42660000 {
+		reg = <0x42660000 DT_SIZE_K(64)>;
+	};
+
+	edma2_ch0: memory@42010000 {
+		reg = <0x42010000 DT_SIZE_K(32)>;
+	};
+
+	edma2_ch1: memory@42018000 {
+		reg = <0x42018000 DT_SIZE_K(32)>;
+	};
+
+	outbox: memory@ce100000 {
+		reg = <0xce100000 DT_SIZE_K(4)>;
+	};
+
+	inbox: memory@ce101000 {
+		reg = <0xce101000 DT_SIZE_K(4)>;
+	};
+
+	stream: memory@ce102000 {
+		reg = <0xce102000 DT_SIZE_K(4)>;
+	};
+
+	/* TODO: this is extremely bad and it's needed here because of
+	 * the fact that the DMA buffer shared by host and FW is situated
+	 * in this region. For now, it's easier to create a mapping for the
+	 * whole region but in the future a mapping should only be created
+	 * for the physical address of the buffer sent to the FW through an
+	 * IPC.
+	 */
+	host_ram: memory@80000000 {
+		reg = <0x80000000 DT_SIZE_M(1024)>;
+	};
+};