| /* |
| * SAMSUNG SSDK5440 board device tree source |
| * |
| * Copyright (c) 2012 Samsung Electronics Co., Ltd. |
| * http://www.samsung.com |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| */ |
| |
| /dts-v1/; |
| /include/ "exynos5440.dtsi" |
| |
| / { |
| model = "SAMSUNG SSDK5440 board based on EXYNOS5440"; |
| compatible = "samsung,ssdk5440", "samsung,exynos5440"; |
| |
| chosen { |
| bootargs = "root=/dev/sda2 rw rootwait ignore_loglevel early_printk no_console_suspend mem=2048M@0x80000000 console=ttySAC0,115200"; |
| }; |
| |
| spi { |
| status = "disabled"; |
| }; |
| |
| fixed-rate-clocks { |
| xtal { |
| compatible = "samsung,clock-xtal"; |
| clock-frequency = <50000000>; |
| }; |
| }; |
| |
| pcie@290000 { |
| reset-gpio = <&pin_ctrl 5 0>; |
| }; |
| |
| pcie@2a0000 { |
| reset-gpio = <&pin_ctrl 22 0>; |
| }; |
| }; |
