1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * SAMSUNG SD5v1 board device tree source
 4 *
 5 * Copyright (c) 2013 Samsung Electronics Co., Ltd.
 6 *		http://www.samsung.com
 7 */
 8
 9/dts-v1/;
10#include "exynos5440.dtsi"
11
12/ {
13	model = "SAMSUNG SD5v1 board based on EXYNOS5440";
14	compatible = "samsung,sd5v1", "samsung,exynos5440", "samsung,exynos5";
15
16	chosen {
17		bootargs = "root=/dev/sda2 rw rootwait ignore_loglevel earlyprintk no_console_suspend mem=2048M@0x80000000 mem=6144M@0x100000000 console=ttySAC0,115200";
18	};
19
20	/* FIXME: set reg property with correct start address and size */
21	memory@0 {
22		device_type = "memory";
23		reg = <0 0>;
24	};
25
26	fixed-rate-clocks {
27		xtal {
28			compatible = "samsung,clock-xtal";
29			clock-frequency = <50000000>;
30		};
31	};
32
33	spi {
34		status = "disabled";
35	};
36
37};
38
39&gmac {
40	fixed_phy;
41	phy_addr = <1>;
42};