1*031106ceSJisheng Zhang// SPDX-License-Identifier: (GPL-2.0 OR MIT)
2*031106ceSJisheng Zhang/*
3*031106ceSJisheng Zhang * Copyright (C) 2015 Marvell Technology Group Ltd.
4*031106ceSJisheng Zhang *
5*031106ceSJisheng Zhang * Author: Jisheng Zhang <jszhang@marvell.com>
6*031106ceSJisheng Zhang */
7*031106ceSJisheng Zhang
8*031106ceSJisheng Zhang/dts-v1/;
9*031106ceSJisheng Zhang
10*031106ceSJisheng Zhang#include "berlin4ct.dtsi"
11*031106ceSJisheng Zhang
12*031106ceSJisheng Zhang/ {
13*031106ceSJisheng Zhang	model = "Marvell BG4CT DMP board";
14*031106ceSJisheng Zhang	compatible = "marvell,berlin4ct-dmp", "marvell,berlin4ct", "marvell,berlin";
15*031106ceSJisheng Zhang
16*031106ceSJisheng Zhang	chosen {
17*031106ceSJisheng Zhang		stdout-path = "serial0:115200n8";
18*031106ceSJisheng Zhang	};
19*031106ceSJisheng Zhang
20*031106ceSJisheng Zhang	memory@1000000 {
21*031106ceSJisheng Zhang		device_type = "memory";
22*031106ceSJisheng Zhang		/* the first 16MB is for firmwares' usage */
23*031106ceSJisheng Zhang		reg = <0 0x01000000 0 0x7f000000>;
24*031106ceSJisheng Zhang	};
25*031106ceSJisheng Zhang};
26*031106ceSJisheng Zhang
27*031106ceSJisheng Zhang&uart0 {
28*031106ceSJisheng Zhang	status = "okay";
29*031106ceSJisheng Zhang};
30