mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / at91-foxg20.dts
blob50d5e719b451aca332d93c5240499c388647fad7
1 /*
2  * at91-foxg20.dts - Device Tree file for Acme Systems FoxG20 board
3  *
4  * Based on DT files for at91sam9g20ek evaluation board (AT91SAM9G20 SoC)
5  *
6  * Copyright (C) 2013 Douglas Gilbert <dgilbert@interlog.com>
7  *
8  * Licensed under GPLv2 or later.
9  */
10 /dts-v1/;
11 #include "at91sam9g20.dtsi"
13 / {
14         model = "Acme Systems FoxG20";
15         compatible = "acme,foxg20", "atmel,at91sam9g20", "atmel,at91sam9";
17         chosen {
18                 bootargs = "console=ttyS0,115200 root=/dev/mmcblk0p2 rw rootwait";
19         };
21         memory {
22                 reg = <0x20000000 0x4000000>;
23         };
25         clocks {
26                 slow_xtal {
27                         clock-frequency = <32768>;
28                 };
30                 main_xtal {
31                         clock-frequency = <18432000>;
32                 };
33         };
35         ahb {
36                 apb {
37                         usb1: gadget@fffa4000 {
38                                 atmel,vbus-gpio = <&pioC 6 GPIO_ACTIVE_HIGH>;
39                                 status = "okay";
40                         };
42                         mmc0: mmc@fffa8000 {
43                                 pinctrl-0 = <
44                                         &pinctrl_mmc0_clk
45                                         &pinctrl_mmc0_slot1_cmd_dat0
46                                         &pinctrl_mmc0_slot1_dat1_3>;
47                                 status = "okay";
49                                 slot@1 {
50                                         reg = <1>;
51                                         bus-width = <4>;
52                                 };
53                         };
55                         usart0: serial@fffb0000 {
56                                 pinctrl-0 =
57                                         <&pinctrl_usart0
58                                          &pinctrl_usart0_rts
59                                          &pinctrl_usart0_cts
60                                         >;
61                                 status = "okay";
62                         };
64                         usart1: serial@fffb4000 {
65                                 status = "okay";
66                         };
68                         usart2: serial@fffb8000 {
69                                 status = "okay";
70                         };
72                         macb0: ethernet@fffc4000 {
73                                 phy-mode = "rmii";
74                                 status = "okay";
75                         };
77                         usart3: serial@fffd0000 {
78                                 status = "okay";
79                         };
81                         uart0: serial@fffd4000 {
82                                 status = "okay";
83                         };
85                         uart1: serial@fffd8000 {
86                                 status = "okay";
87                         };
89                         dbgu: serial@fffff200 {
90                                 status = "okay";
91                         };
93                         pinctrl@fffff400 {
94                                 board {
95                                         pinctrl_pck0_as_mck: pck0_as_mck {
96                                                 atmel,pins =
97                                                         <AT91_PIOC 1 AT91_PERIPH_B AT91_PINCTRL_NONE>;
98                                         };
99                                 };
101                                 mmc0_slot1 {
102                                         pinctrl_board_mmc0_slot1: mmc0_slot1-board {
103                                                 atmel,pins =
104                                                         <AT91_PIOC 9 AT91_PERIPH_GPIO AT91_PINCTRL_PULL_UP_DEGLITCH>;   /* CD pin */
105                                         };
106                                 };
108                                 i2c0 {
109                                         pinctrl_i2c0: i2c0-0 {
110                                                 atmel,pins =
111                                                         <AT91_PIOA 23 AT91_PERIPH_A AT91_PINCTRL_MULTI_DRIVE    /* TWD (SDA), open drain */
112                                                          AT91_PIOA 24 AT91_PERIPH_A AT91_PINCTRL_MULTI_DRIVE>;  /* TWCK (SCL), open drain */
113                                         };
114                                 };
115                         };
117                         watchdog@fffffd40 {
118                                 status = "okay";
119                         };
120                 };
122                 usb0: ohci@500000 {
123                         num-ports = <2>;
124                         status = "okay";
125                 };
126         };
128         i2c-gpio-0 {
129                 pinctrl-names = "default";
130                 pinctrl-0 = <&pinctrl_i2c0>;
131                 i2c-gpio,delay-us = <5>;        /* ~85 kHz */
132                 status = "okay";
133         };
135         leds {
136                 compatible = "gpio-leds";
138                 /* red LED marked "PC7" near mini USB (device) receptacle */
139                 user_led {
140                         label = "user_led";
141                         gpios = <&pioC 7 GPIO_ACTIVE_HIGH>;     /* PC7 */
142                         linux,default-trigger = "heartbeat";
143                 };
144         };
146         gpio_keys {
147                 compatible = "gpio-keys";
149                 btn {
150                         label = "Button";
151                         gpios = <&pioC 4 GPIO_ACTIVE_LOW>;
152                         linux,code = <0x103>;
153                         wakeup-source;
154                 };
155         };