0001 // SPDX-License-Identifier: (GPL-2.0 OR MIT)
0002 /*
0003 * Copyright (C) 2015 Marvell Technology Group Ltd.
0004 *
0005 * Author: Jisheng Zhang <jszhang@marvell.com>
0006 */
0007
0008 /dts-v1/;
0009
0010 #include "berlin4ct.dtsi"
0011
0012 / {
0013 model = "Marvell BG4CT STB board";
0014 compatible = "marvell,berlin4ct-stb", "marvell,berlin4ct", "marvell,berlin";
0015
0016 chosen {
0017 stdout-path = "serial0:115200n8";
0018 };
0019
0020 memory@1000000 {
0021 device_type = "memory";
0022 /* the first 16MB is for firmwares' usage */
0023 reg = <0 0x01000000 0 0x7f000000>;
0024 };
0025 };
0026
0027 &uart0 {
0028 status = "okay";
0029 };
