1// SPDX-License-Identifier: GPL-2.0 2/* 3 * Copyright (C) 2023 Texas Instruments Incorporated - https://www.ti.com/ 4 */ 5 6/dts-v1/; 7 8#include "k3-j721s2.dtsi" 9#include <dt-bindings/gpio/gpio.h> 10 11/ { 12 memory@80000000 { 13 device_type = "memory"; 14 /* 16 GB RAM */ 15 reg = <0x00 0x80000000 0x00 0x80000000>, 16 <0x08 0x80000000 0x03 0x80000000>; 17 }; 18 19 reserved_memory: reserved-memory { 20 #address-cells = <2>; 21 #size-cells = <2>; 22 ranges; 23 24 secure_ddr: optee@9e800000 { 25 reg = <0x00 0x9e800000 0x00 0x01800000>; 26 no-map; 27 }; 28 }; 29}; 30