// SPDX-License-Identifier: (GPL-2.0 OR MIT)
|
/*
|
* Copyright (C) 2015 Marvell Technology Group Ltd.
|
*
|
* Author: Jisheng Zhang <jszhang@marvell.com>
|
*/
|
|
/dts-v1/;
|
|
#include "berlin4ct.dtsi"
|
|
/ {
|
model = "Marvell BG4CT DMP board";
|
compatible = "marvell,berlin4ct-dmp", "marvell,berlin4ct", "marvell,berlin";
|
|
chosen {
|
stdout-path = "serial0:115200n8";
|
};
|
|
memory@1000000 {
|
device_type = "memory";
|
/* the first 16MB is for firmwares' usage */
|
reg = <0 0x01000000 0 0x7f000000>;
|
};
|
};
|
|
&uart0 {
|
status = "okay";
|
};
|
