| Lokesh Vutla | b2c99a2 | 2019-06-13 10:29:54 +0530 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
| 2 | /* |
| 3 | * Copyright (C) 2019 Texas Instruments Incorporated - http://www.ti.com/ |
| 4 | */ |
| 5 | |
| 6 | /dts-v1/; |
| 7 | |
| 8 | #include "k3-j721e.dtsi" |
| 9 | |
| 10 | / { |
| 11 | memory@80000000 { |
| 12 | device_type = "memory"; |
| 13 | /* 4G RAM */ |
| 14 | reg = <0x00000000 0x80000000 0x00000000 0x80000000>, |
| 15 | <0x00000008 0x80000000 0x00000000 0x80000000>; |
| 16 | }; |
| 17 | |
| 18 | reserved_memory: reserved-memory { |
| 19 | #address-cells = <2>; |
| 20 | #size-cells = <2>; |
| 21 | ranges; |
| 22 | |
| 23 | secure_ddr: optee@9e800000 { |
| 24 | reg = <0x00 0x9e800000 0x00 0x01800000>; |
| 25 | alignment = <0x1000>; |
| 26 | no-map; |
| 27 | }; |
| 28 | }; |
| 29 | }; |