// SPDX-License-Identifier: GPL-2.0 | |
/* | |
* Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/ | |
*/ | |
/dts-v1/; | |
#include "k3-am654.dtsi" | |
/ { | |
compatible = "ti,am654-evm", "ti,am654"; | |
model = "Texas Instruments AM654 Base Board"; | |
chosen { | |
stdout-path = "serial2:115200n8"; | |
bootargs = "earlycon=ns16550a,mmio32,0x02800000"; | |
}; | |
memory@80000000 { | |
device_type = "memory"; | |
/* 4G RAM */ | |
reg = <0x00000000 0x80000000 0x00000000 0x80000000>, | |
<0x00000008 0x80000000 0x00000000 0x80000000>; | |
}; | |
reserved-memory { | |
#address-cells = <2>; | |
#size-cells = <2>; | |
ranges; | |
secure_ddr: secure_ddr@9e800000 { | |
reg = <0 0x9e800000 0 0x01800000>; /* for OP-TEE */ | |
alignment = <0x1000>; | |
no-map; | |
}; | |
}; | |
}; |