1/*
2 * Samsung's Exynos4210 based Origen board device tree source
3 *
4 * Copyright (c) 2014 Samsung Electronics Co., Ltd.
5 *		http://www.samsung.com
6 *
7 * SPDX-License-Identifier:	GPL-2.0+
8 */
9
10/dts-v1/;
11#include "skeleton.dtsi"
12#include "exynos4210.dtsi"
13
14/ {
15	model = "Insignal Origen evaluation board based on Exynos4210";
16	compatible = "insignal,origen", "samsung,exynos4210";
17
18	chosen {
19		bootargs ="";
20	};
21
22	aliases {
23		serial0 = "/serial@13800000";
24		console = "/serial@13820000";
25		mmc2 = "/sdhci@12530000";
26	};
27
28	sdhci@12510000 {
29		status = "disabled";
30	};
31
32	sdhci@12520000 {
33		status = "disabled";
34	};
35
36	sdhci@12530000 {
37		samsung,bus-width = <4>;
38		samsung,timing = <1 2 3>;
39		cd-gpios = <&gpk2 2 0>;
40	};
41
42	sdhci@12540000 {
43		status = "disabled";
44	};
45};
46