1 // SPDX-License-Identifier: (GPL-2.0 OR MIT)
3 * Copyright (C) 2015 Marvell Technology Group Ltd.
5 * Author: Jisheng Zhang <jszhang@marvell.com>
10 #include "berlin4ct.dtsi"
13 model = "Marvell BG4CT STB board";
14 compatible = "marvell,berlin4ct-stb", "marvell,berlin4ct", "marvell,berlin";
17 stdout-path = "serial0:115200n8";
21 device_type = "memory";
22 /* the first 16MB is for firmwares' usage */
23 reg = <0 0x01000000 0 0x7f000000>;