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