mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / socfpga_arria5_socdk.dts
blobaac4feea86f38c9d589ad814c6a6c0d0863711e7
1 /*
2  *  Copyright (C) 2013 Altera Corporation <www.altera.com>
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_arria5.dtsi"
20 / {
21         model = "Altera SOCFPGA Arria V SoC Development Kit";
22         compatible = "altr,socfpga-arria5", "altr,socfpga";
24         chosen {
25                 bootargs = "earlyprintk";
26                 stdout-path = "serial0:115200n8";
27         };
29         memory@0 {
30                 name = "memory";
31                 device_type = "memory";
32                 reg = <0x0 0x40000000>; /* 1GB */
33         };
35         aliases {
36                 /* this allow the ethaddr uboot environmnet variable contents
37                 * to be added to the gmac1 device tree blob.
38                 */
39                 ethernet0 = &gmac1;
40         };
42         leds {
43                 compatible = "gpio-leds";
44                 hps0 {
45                         label = "hps_led0";
46                         gpios = <&porta 0 1>;
47                 };
49                 hps1 {
50                         label = "hps_led1";
51                         gpios = <&portb 11 1>;
52                 };
54                 hps2 {
55                         label = "hps_led2";
56                         gpios = <&porta 17 1>;
57                 };
59                 hps3 {
60                         label = "hps_led3";
61                         gpios = <&porta 18 1>;
62                 };
63         };
65         regulator_3_3v: 3-3-v-regulator {
66                 compatible = "regulator-fixed";
67                 regulator-name = "3.3V";
68                 regulator-min-microvolt = <3300000>;
69                 regulator-max-microvolt = <3300000>;
70         };
73 &gmac1 {
74         status = "okay";
75         phy-mode = "rgmii";
77         rxd0-skew-ps = <0>;
78         rxd1-skew-ps = <0>;
79         rxd2-skew-ps = <0>;
80         rxd3-skew-ps = <0>;
81         txen-skew-ps = <0>;
82         txc-skew-ps = <2600>;
83         rxdv-skew-ps = <0>;
84         rxc-skew-ps = <2000>;
87 &gpio0 {
88         status = "okay";
91 &gpio1 {
92         status = "okay";
95 &gpio2 {
96         status = "okay";
99 &i2c0 {
100         status = "okay";
101         clock-frequency = <100000>;
103         /*
104          * adjust the falling times to decrease the i2c frequency to 50Khz
105          * because the LCD module does not work at the standard 100Khz
106          */
107         i2c-sda-falling-time-ns = <5000>;
108         i2c-scl-falling-time-ns = <5000>;
110         eeprom@51 {
111                 compatible = "atmel,24c32";
112                 reg = <0x51>;
113                 pagesize = <32>;
114         };
116         rtc@68 {
117                 compatible = "dallas,ds1339";
118                 reg = <0x68>;
119         };
122 &mmc0 {
123         vmmc-supply = <&regulator_3_3v>;
124         vqmmc-supply = <&regulator_3_3v>;
125         status = "okay";
128 &qspi {
129         status = "okay";
131         flash: flash@0 {
132                 #address-cells = <1>;
133                 #size-cells = <1>;
134                 compatible = "n25q256a";
135                 reg = <0>;
136                 spi-max-frequency = <100000000>;
138                 m25p,fast-read;
139                 cdns,page-size = <256>;
140                 cdns,block-size = <16>;
141                 cdns,read-delay = <4>;
142                 cdns,tshsl-ns = <50>;
143                 cdns,tsd2d-ns = <50>;
144                 cdns,tchsh-ns = <4>;
145                 cdns,tslch-ns = <4>;
147                 partition@qspi-boot {
148                         /* 8MB for raw data. */
149                         label = "Flash 0 Raw Data";
150                         reg = <0x0 0x800000>;
151                 };
153                 partition@qspi-rootfs {
154                         /* 120MB for jffs2 data. */
155                         label = "Flash 0 jffs2 Filesystem";
156                         reg = <0x800000 0x7800000>;
157                 };
158         };
161 &usb1 {
162         status = "okay";