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