From c93c1c89df468dca3f64d7c7b7d4021eb10290ae Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@data61.csiro.au>
Date: Thu, 20 Jun 2019 14:20:30 +1000
Subject: [PATCH] exynos4: clamp memory to fit in kernel window

Add a device tree overlay such that all memory on the exynos4 fits in
the kernel window. It's unknown if the memory past 0x50000000 is valid,
when the elf-loader attempts to write to it it hangs.
---
 src/plat/exynos4/config.cmake        |  1 +
 src/plat/exynos4/overlay-exynos4.dts | 27 +++++++++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 src/plat/exynos4/overlay-exynos4.dts

diff --git a/src/plat/exynos4/config.cmake b/src/plat/exynos4/config.cmake
index ac50c124b..352b55045 100644
--- a/src/plat/exynos4/config.cmake
+++ b/src/plat/exynos4/config.cmake
@@ -18,6 +18,7 @@ if(KernelPlatformExynos4)
     config_set(KernelPlatform PLAT "exynos4")
     config_set(KernelArmMach MACH "exynos")
     list(APPEND KernelDTSList "tools/dts/exynos4.dts")
+    list(APPEND KernelDTSList "src/plat/exynos4/overlay-exynos4.dts")
     declare_default_headers(
         TIMER_FREQUENCY 24000000llu
         MAX_IRQ 159
diff --git a/src/plat/exynos4/overlay-exynos4.dts b/src/plat/exynos4/overlay-exynos4.dts
new file mode 100644
index 000000000..994a2a0b3
--- /dev/null
+++ b/src/plat/exynos4/overlay-exynos4.dts
@@ -0,0 +1,27 @@
+/*
+ * Copyright 2018, 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)
+ */
+
+/ {
+
+    /delete-node/ memory;
+	memory@40000000 {
+		device_type = "memory";
+	};
+
+    memory@40000000 {
+		device_type = "memory";
+		reg = < 0x40000000 0x20000000 >;
+	};
+
+
+
+};
-- 
GitLab