|
@@ -3,6 +3,8 @@
|
|
|
*
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
*/
|
|
|
+#include <platform_def.h>
|
|
|
+
|
|
|
/ {
|
|
|
compatible = "arm,ffa-core-manifest-1.0";
|
|
|
#address-cells = <2>;
|
|
@@ -88,9 +90,10 @@
|
|
|
};
|
|
|
};
|
|
|
|
|
|
+ /* the full secure world range */
|
|
|
memory@0 {
|
|
|
device_type = "memory";
|
|
|
- reg = <0x0 0xf9000000 0x0 0x6000000>,
|
|
|
+ reg = <0x0 TC_TZC_DRAM1_BASE 0x0 TC_TZC_DRAM1_SIZE>,
|
|
|
<0x0 0xff000000 0x0 0x1000000>;
|
|
|
};
|
|
|
|
|
@@ -100,7 +103,8 @@
|
|
|
#ifdef TS_SP_FW_CONFIG
|
|
|
<0x0 0x08000000 0x0 0x4000000>,
|
|
|
#endif /* TS_SP_FW_CONFIG */
|
|
|
- <0x0 0x80000000 0x0 0x79000000>,
|
|
|
- <0x80 0x80000000 0x1 0x80000000>;
|
|
|
+ <0x0 TC_NS_DRAM1_BASE 0x0 TC_NS_DRAM1_SIZE>,
|
|
|
+ <HI(PLAT_ARM_DRAM2_BASE) LO(PLAT_ARM_DRAM2_BASE)
|
|
|
+ HI(TC_NS_DRAM2_SIZE) LO(TC_NS_DRAM2_SIZE)>;
|
|
|
};
|
|
|
};
|