mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / socfpga_cyclone5_mcvevk.dts
blobc2eb88aab8b30f66a368522651bac40183ceb0b6
1 /*
2  * Copyright (C) 2015 Marek Vasut <marex@denx.de>
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 as published by
6  * the Free Software Foundation; either version 2 of the License, or
7  * (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12  * GNU General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License
15  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
16  */
18 #include "socfpga_cyclone5_mcv.dtsi"
20 / {
21         model = "Aries/DENX MCV EVK";
22         compatible = "denx,mcvevk", "altr,socfpga-cyclone5", "altr,socfpga";
24         aliases {
25                 ethernet0 = &gmac0;
26                 stmpe-i2c0 = &stmpe1;
27         };
29         chosen {
30                 stdout-path = "serial0:115200n8";
31         };
34 &can0 {
35         status = "okay";
38 &can1 {
39         status = "okay";
42 &gmac0 {
43         phy-mode = "rgmii";
44         status = "okay";
47 &gpio0 {        /* GPIO  0 ... 28 */
48         status = "okay";
51 &gpio1 {        /* GPIO 29 ... 57 */
52         status = "okay";
55 &gpio2 {        /* GPIO 58..66 (HLGPI 0..13 at offset 13) */
56         status = "okay";
59 &i2c0 {
60         status = "okay";
61         clock-frequency = <100000>;
63         stmpe1: stmpe811@41 {
64                 compatible = "st,stmpe811";
65                 #address-cells = <1>;
66                 #size-cells = <0>;
67                 reg = <0x41>;
68                 id = <0>;
69                 blocks = <0x5>;
70                 irq-gpio = <&portb 28 0x4>;     /* GPIO 57, trig. level HI */
72                 stmpe_touchscreen {
73                         compatible = "st,stmpe-ts";
74                         ts,sample-time = <4>;
75                         ts,mod-12b = <1>;
76                         ts,ref-sel = <0>;
77                         ts,adc-freq = <1>;
78                         ts,ave-ctrl = <1>;
79                         ts,touch-det-delay = <3>;
80                         ts,settling = <4>;
81                         ts,fraction-z = <7>;
82                         ts,i-drive = <1>;
83                 };
84         };
87 &uart0 {
88         status = "okay";
91 &usb1 {
92         status = "okay";