Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / boot / dts / exynos4412-odroidx.dts
1 /*
2  * Hardkernel's Exynos4412 based ODROID-X board device tree source
3  *
4  * Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
5  *
6  * Device tree source file for Hardkernel's ODROID-X board which is based
7  * on Samsung's Exynos4412 SoC.
8  *
9  * This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License version 2 as
11  * published by the Free Software Foundation.
12 */
13
14 /dts-v1/;
15 #include "exynos4412-odroid-common.dtsi"
16
17 / {
18         model = "Hardkernel ODROID-X board based on Exynos4412";
19         compatible = "hardkernel,odroid-x", "samsung,exynos4412", "samsung,exynos4";
20
21         memory {
22                 reg = <0x40000000 0x3FF00000>;
23         };
24
25         leds {
26                 compatible = "gpio-leds";
27                 led1 {
28                         label = "led1:heart";
29                         gpios = <&gpc1 0 1>;
30                         default-state = "on";
31                         linux,default-trigger = "heartbeat";
32                 };
33                 led2 {
34                         label = "led2:mmc0";
35                         gpios = <&gpc1 2 1>;
36                         default-state = "on";
37                         linux,default-trigger = "mmc0";
38                 };
39         };
40
41         serial@13820000 {
42                 status = "okay";
43         };
44
45         serial@13830000 {
46                 status = "okay";
47         };
48
49         gpio_keys {
50                 pinctrl-0 = <&gpio_power_key &gpio_home_key>;
51
52                 home_key {
53                         interrupt-parent = <&gpx2>;
54                         interrupts = <2 0>;
55                         gpios = <&gpx2 2 0>;
56                         linux,code = <KEY_HOME>;
57                         label = "home key";
58                         debounce-interval = <10>;
59                         gpio-key,wakeup;
60                 };
61         };
62
63         regulator_p3v3 {
64                 compatible = "regulator-fixed";
65                 regulator-name = "p3v3_en";
66                 regulator-min-microvolt = <3300000>;
67                 regulator-max-microvolt = <3300000>;
68                 gpio = <&gpa1 1 1>;
69                 enable-active-high;
70                 regulator-always-on;
71         };
72 };
73
74 &ehci {
75         port@1 {
76                 status = "okay";
77         };
78 };
79
80 &pinctrl_1 {
81         gpio_home_key: home_key {
82                 samsung,pins = "gpx2-2";
83                 samsung,pin-pud = <0>;
84         };
85 };