1 // SPDX-License-Identifier: GPL-2.0
3 * SAMSUNG SSDK5440 board device tree source
5 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
6 * http://www.samsung.com
10 #include "exynos5440.dtsi"
11 #include <dt-bindings/gpio/gpio.h>
14 model = "SAMSUNG SSDK5440 board based on EXYNOS5440";
15 compatible = "samsung,ssdk5440", "samsung,exynos5440", "samsung,exynos5";
18 bootargs = "root=/dev/sda2 rw rootwait ignore_loglevel earlyprintk no_console_suspend mem=2048M@0x80000000 mem=6144M@0x100000000 console=ttySAC0,115200";
21 /* FIXME: set reg property with correct start address and size */
23 device_type = "memory";
29 compatible = "samsung,clock-xtal";
30 clock-frequency = <50000000>;
36 reset-gpio = <&pin_ctrl 5 GPIO_ACTIVE_HIGH>;
41 reset-gpio = <&pin_ctrl 22 GPIO_ACTIVE_HIGH>;
49 compatible = "winbond,w25q128";
50 spi-max-frequency = <15625000>;
53 samsung,spi-feedback-delay = <0>;
58 reg = <0x60000 0x80000>;
63 label = "Recovery-Kernel";
64 reg = <0xe0000 0x300000>;
70 reg = <0x3e0000 0x700000>;
76 reg = <0xae0000 0x520000>;