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