// 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;
|
};
|
};
|
};
|
