mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / stm32f429-disco.dts
blob5ceb2cf3777ff425a41a59da6dc90fe08adc257e
1 /*
2  * Copyright 2015 - Maxime Coquelin <mcoquelin.stm32@gmail.com>
3  *
4  * This file is dual-licensed: you can use it either under the terms
5  * of the GPL or the X11 license, at your option. Note that this dual
6  * licensing only applies to this file, and not this project as a
7  * whole.
8  *
9  *  a) This file is free software; you can redistribute it and/or
10  *     modify it under the terms of the GNU General Public License as
11  *     published by the Free Software Foundation; either version 2 of the
12  *     License, or (at your option) any later version.
13  *
14  *     This file is distributed in the hope that it will be useful,
15  *     but WITHOUT ANY WARRANTY; without even the implied warranty of
16  *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17  *     GNU General Public License for more details.
18  *
19  *     You should have received a copy of the GNU General Public
20  *     License along with this file; if not, write to the Free
21  *     Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
22  *     MA 02110-1301 USA
23  *
24  * Or, alternatively,
25  *
26  *  b) Permission is hereby granted, free of charge, to any person
27  *     obtaining a copy of this software and associated documentation
28  *     files (the "Software"), to deal in the Software without
29  *     restriction, including without limitation the rights to use,
30  *     copy, modify, merge, publish, distribute, sublicense, and/or
31  *     sell copies of the Software, and to permit persons to whom the
32  *     Software is furnished to do so, subject to the following
33  *     conditions:
34  *
35  *     The above copyright notice and this permission notice shall be
36  *     included in all copies or substantial portions of the Software.
37  *
38  *     THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
39  *     EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
40  *     OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
41  *     NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
42  *     HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
43  *     WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
44  *     FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
45  *     OTHER DEALINGS IN THE SOFTWARE.
46  */
48 /dts-v1/;
49 #include "stm32f429.dtsi"
50 #include "stm32f429-pinctrl.dtsi"
51 #include <dt-bindings/input/input.h>
53 / {
54         model = "STMicroelectronics STM32F429i-DISCO board";
55         compatible = "st,stm32f429i-disco", "st,stm32f429";
57         chosen {
58                 bootargs = "root=/dev/ram";
59                 stdout-path = "serial0:115200n8";
60         };
62         memory {
63                 reg = <0x90000000 0x800000>;
64         };
66         aliases {
67                 serial0 = &usart1;
68         };
70         leds {
71                 compatible = "gpio-leds";
72                 red {
73                         gpios = <&gpiog 14 0>;
74                 };
75                 green {
76                         gpios = <&gpiog 13 0>;
77                         linux,default-trigger = "heartbeat";
78                 };
79         };
81         gpio_keys {
82                 compatible = "gpio-keys";
83                 #address-cells = <1>;
84                 #size-cells = <0>;
85                 autorepeat;
86                 button@0 {
87                         label = "User";
88                         linux,code = <KEY_HOME>;
89                         gpios = <&gpioa 0 0>;
90                 };
91         };
93         /* This turns on vbus for otg for host mode (dwc2) */
94         vcc5v_otg: vcc5v-otg-regulator {
95                 compatible = "regulator-fixed";
96                 gpio = <&gpioc 4 0>;
97                 regulator-name = "vcc5_host1";
98                 regulator-always-on;
99         };
102 &clk_hse {
103         clock-frequency = <8000000>;
106 &crc {
107         status = "okay";
110 &rtc {
111         assigned-clocks = <&rcc 1 CLK_RTC>;
112         assigned-clock-parents = <&rcc 1 CLK_LSI>;
113         status = "okay";
116 &usart1 {
117         pinctrl-0 = <&usart1_pins_a>;
118         pinctrl-names = "default";
119         status = "okay";
122 &usbotg_hs {
123         compatible = "st,stm32f4x9-fsotg";
124         dr_mode = "host";
125         pinctrl-0 = <&usbotg_fs_pins_b>;
126         pinctrl-names = "default";
127         status = "okay";