--- /dev/null
+// SPDX-License-Identifier: GPL-2.0-only
+
+#include "ipq8074.dtsi"
+
+&tzapp_region {
+ reg = <0x0 0x4a400000 0x0 0x100000>;
+};
+
+&q6_region {
+ reg = <0x0 0x4b000000 0x0 0x3700000>;
+};
+
+&q6_etr_region {
+ reg = <0x0 0x4e700000 0x0 0x100000>;
+};
+
+&m3_dump_region {
+ reg = <0x0 0x4e800000 0x0 0x100000>;
+};