diff --git a/src/plat/exynos4/config.cmake b/src/plat/exynos4/config.cmake
index ac50c124bab0a52a050f35a363c27ced61d61435..352b55045d823e58e5dc266c88456cfcb69f9b91 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 0000000000000000000000000000000000000000..994a2a0b36121573cad0dbc6e77abc4f4f2affb9
--- /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 >;
+	};
+
+
+
+};