1 // SPDX-License-Identifier: GPL-2.0
3 * SAMSUNG SD5v1 board device tree source
5 * Copyright (c) 2013 Samsung Electronics Co., Ltd.
6 * http://www.samsung.com
10 #include "exynos5440.dtsi"
13 model = "SAMSUNG SD5v1 board based on EXYNOS5440";
14 compatible = "samsung,sd5v1", "samsung,exynos5440", "samsung,exynos5";
17 bootargs = "root=/dev/sda2 rw rootwait ignore_loglevel earlyprintk no_console_suspend mem=2048M@0x80000000 mem=6144M@0x100000000 console=ttySAC0,115200";
20 /* FIXME: set reg property with correct start address and size */
22 device_type = "memory";
28 compatible = "samsung,clock-xtal";
29 clock-frequency = <50000000>;