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