1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/
8 #include "k3-am654.dtsi"
11 compatible = "ti,am654-evm", "ti,am654";
12 model = "Texas Instruments AM654 Base Board";
15 stdout-path = "serial2:115200n8";
16 bootargs = "earlycon=ns16550a,mmio32,0x02800000";
20 device_type = "memory";
22 reg = <0x00000000 0x80000000 0x00000000 0x80000000>,
23 <0x00000008 0x80000000 0x00000000 0x80000000>;
30 secure_ddr: secure_ddr@9e800000 {
31 reg = <0 0x9e800000 0 0x01800000>; /* for OP-TEE */