2 * SAMSUNG SSDK5440 board device tree source
4 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
5 * http://www.samsung.com
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
13 #include "exynos5440.dtsi"
16 model = "SAMSUNG SSDK5440 board based on EXYNOS5440";
17 compatible = "samsung,ssdk5440", "samsung,exynos5440";
20 bootargs = "root=/dev/sda2 rw rootwait ignore_loglevel early_printk no_console_suspend mem=2048M@0x80000000 mem=6144M@0x100000000 console=ttySAC0,115200";
28 compatible = "winbond,w25q128";
29 spi-max-frequency = <15625000>;
32 samsung,spi-feedback-delay = <0>;
37 reg = <0x60000 0x80000>;
42 label = "Recovery-Kernel";
43 reg = <0xe0000 0x300000>;
49 reg = <0x3e0000 0x700000>;
55 reg = <0xae0000 0x520000>;
64 compatible = "samsung,clock-xtal";
65 clock-frequency = <50000000>;
70 reset-gpio = <&pin_ctrl 5 0>;
74 reset-gpio = <&pin_ctrl 22 0>;