1// SPDX-License-Identifier: GPL-2.0-only OR MIT 2/** 3 * Device Tree Source for enabling IPC using TI SDK firmware on J784S4 SoCs 4 * 5 * Copyright (C) 2022-2025 Texas Instruments Incorporated - https://www.ti.com/ 6 */ 7 8&reserved_memory { 9 c71_3_dma_memory_region: memory@ab000000 { 10 compatible = "shared-dma-pool"; 11 reg = <0x00 0xab000000 0x00 0x100000>; 12 no-map; 13 }; 14 15 c71_3_memory_region: memory@ab100000 { 16 compatible = "shared-dma-pool"; 17 reg = <0x00 0xab100000 0x00 0xf00000>; 18 no-map; 19 }; 20}; 21 22&mailbox0_cluster5 { 23 24 mbox_c71_3: mbox-c71-3 { 25 ti,mbox-rx = <2 0 0>; 26 ti,mbox-tx = <3 0 0>; 27 }; 28}; 29 30&c71_3 { 31 mboxes = <&mailbox0_cluster5 &mbox_c71_3>; 32 memory-region = <&c71_3_dma_memory_region>, 33 <&c71_3_memory_region>; 34 status = "okay"; 35}; 36