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