mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / omap3-overo-gallop43-common.dtsi
blob286f5baddf077b0ea7477c43696b042d372bd3d5
1 /*
2  * Copyright (C) 2014 Florian Vaussard, EPFL Mobots group
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  */
9 /*
10  * Gallop43 expansion board is manufactured by Gumstix Inc.
11  */
13 #include "omap3-overo-common-peripherals.dtsi"
14 #include "omap3-overo-common-lcd43.dtsi"
16 #include <dt-bindings/input/input.h>
18 / {
19         leds {
20                 compatible = "gpio-leds";
21                 pinctrl-names = "default";
22                 pinctrl-0 = <&led_pins>;
23                 heartbeat {
24                         label = "overo:red:gpio21";
25                         gpios = <&gpio1 21 GPIO_ACTIVE_LOW>;            /* gpio_21 */
26                         linux,default-trigger = "heartbeat";
27                 };
28                 gpio22 {
29                         label = "overo:blue:gpio22";
30                         gpios = <&gpio1 22 GPIO_ACTIVE_LOW>;            /* gpio_22 */
31                 };
32         };
34         gpio_keys {
35                 compatible = "gpio-keys";
36                 pinctrl-names = "default";
37                 pinctrl-0 = <&button_pins>;
38                 #address-cells = <1>;
39                 #size-cells = <0>;
40                 button0 {
41                         label = "button0";
42                         linux,code = <BTN_0>;
43                         gpios = <&gpio1 23 GPIO_ACTIVE_LOW>;            /* gpio_23 */
44                         wakeup-source;
45                 };
46                 button1 {
47                         label = "button1";
48                         linux,code = <BTN_1>;
49                         gpios = <&gpio1 14 GPIO_ACTIVE_LOW>;            /* gpio_14 */
50                         wakeup-source;
51                 };
52         };
55 &usbhshost {
56         status = "disabled";