s390/pgtable: fix ipte notify bit
[pandora-kernel.git] / arch / arm / boot / dts / exynos4210-origen.dts
1 /*
2  * Samsung's Exynos4210 based Origen board device tree source
3  *
4  * Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
5  *              http://www.samsung.com
6  * Copyright (c) 2010-2011 Linaro Ltd.
7  *              www.linaro.org
8  *
9  * Device tree source file for Insignal's Origen board which is based on
10  * Samsung's Exynos4210 SoC.
11  *
12  * This program is free software; you can redistribute it and/or modify
13  * it under the terms of the GNU General Public License version 2 as
14  * published by the Free Software Foundation.
15 */
16
17 /dts-v1/;
18 /include/ "exynos4210.dtsi"
19
20 / {
21         model = "Insignal Origen evaluation board based on Exynos4210";
22         compatible = "insignal,origen", "samsung,exynos4210";
23
24         memory {
25                 reg = <0x40000000 0x10000000
26                        0x50000000 0x10000000
27                        0x60000000 0x10000000
28                        0x70000000 0x10000000>;
29         };
30
31         chosen {
32                 bootargs ="root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M console=ttySAC2,115200 init=/linuxrc";
33         };
34
35         mmc_reg: voltage-regulator {
36                 compatible = "regulator-fixed";
37                 regulator-name = "VMEM_VDD_2.8V";
38                 regulator-min-microvolt = <2800000>;
39                 regulator-max-microvolt = <2800000>;
40                 gpio = <&gpx1 1 0>;
41                 enable-active-high;
42         };
43
44         sdhci@12530000 {
45                 bus-width = <4>;
46                 pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_bus4 &sd2_cd>;
47                 pinctrl-names = "default";
48                 vmmc-supply = <&mmc_reg>;
49                 status = "okay";
50         };
51
52         sdhci@12510000 {
53                 bus-width = <4>;
54                 pinctrl-0 = <&sd0_clk &sd0_cmd &sd0_bus4 &sd0_cd>;
55                 pinctrl-names = "default";
56                 vmmc-supply = <&mmc_reg>;
57                 status = "okay";
58         };
59
60         codec@13400000 {
61                 samsung,mfc-r = <0x43000000 0x800000>;
62                 samsung,mfc-l = <0x51000000 0x800000>;
63                 status = "okay";
64         };
65
66         serial@13800000 {
67                 status = "okay";
68         };
69
70         serial@13810000 {
71                 status = "okay";
72         };
73
74         serial@13820000 {
75                 status = "okay";
76         };
77
78         serial@13830000 {
79                 status = "okay";
80         };
81
82         gpio_keys {
83                 compatible = "gpio-keys";
84                 #address-cells = <1>;
85                 #size-cells = <0>;
86
87                 up {
88                         label = "Up";
89                         gpios = <&gpx2 0 1>;
90                         linux,code = <103>;
91                         gpio-key,wakeup;
92                 };
93
94                 down {
95                         label = "Down";
96                         gpios = <&gpx2 1 1>;
97                         linux,code = <108>;
98                         gpio-key,wakeup;
99                 };
100
101                 back {
102                         label = "Back";
103                         gpios = <&gpx1 7 1>;
104                         linux,code = <158>;
105                         gpio-key,wakeup;
106                 };
107
108                 home {
109                         label = "Home";
110                         gpios = <&gpx1 6 1>;
111                         linux,code = <102>;
112                         gpio-key,wakeup;
113                 };
114
115                 menu {
116                         label = "Menu";
117                         gpios = <&gpx1 5 1>;
118                         linux,code = <139>;
119                         gpio-key,wakeup;
120                 };
121         };
122
123         leds {
124                 compatible = "gpio-leds";
125                 status {
126                         gpios = <&gpx1 3 1>;
127                         linux,default-trigger = "heartbeat";
128                 };
129         };
130
131         fixed-rate-clocks {
132                 xxti {
133                         compatible = "samsung,clock-xxti";
134                         clock-frequency = <0>;
135                 };
136
137                 xusbxti {
138                         compatible = "samsung,clock-xusbxti";
139                         clock-frequency = <24000000>;
140                 };
141         };
142 };