1031106ceSJisheng Zhang// SPDX-License-Identifier: (GPL-2.0 OR MIT)
2031106ceSJisheng Zhang/*
3031106ceSJisheng Zhang * Copyright (C) 2015 Marvell Technology Group Ltd.
4031106ceSJisheng Zhang *
5031106ceSJisheng Zhang * Author: Jisheng Zhang <jszhang@marvell.com>
6031106ceSJisheng Zhang */
7031106ceSJisheng Zhang
8031106ceSJisheng Zhang/dts-v1/;
9031106ceSJisheng Zhang
10031106ceSJisheng Zhang#include "berlin4ct.dtsi"
11031106ceSJisheng Zhang
12031106ceSJisheng Zhang/ {
13031106ceSJisheng Zhang	model = "Marvell BG4CT DMP board";
14031106ceSJisheng Zhang	compatible = "marvell,berlin4ct-dmp", "marvell,berlin4ct", "marvell,berlin";
15031106ceSJisheng Zhang
16031106ceSJisheng Zhang	chosen {
17031106ceSJisheng Zhang		stdout-path = "serial0:115200n8";
18031106ceSJisheng Zhang	};
19031106ceSJisheng Zhang
20031106ceSJisheng Zhang	memory@1000000 {
21031106ceSJisheng Zhang		device_type = "memory";
22031106ceSJisheng Zhang		/* the first 16MB is for firmwares' usage */
23031106ceSJisheng Zhang		reg = <0 0x01000000 0 0x7f000000>;
24031106ceSJisheng Zhang	};
25031106ceSJisheng Zhang};
26031106ceSJisheng Zhang
27031106ceSJisheng Zhang&uart0 {
28031106ceSJisheng Zhang	status = "okay";
29031106ceSJisheng Zhang};
30