mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / bcm2835-rpi-zero.dts
blob70362405c59522fb7835a7b4b13ebb43592edfc4
1 /*
2  * Copyright (C) 2016 Stefan Wahren <stefan.wahren@i2se.com>
3  *
4  * The code contained herein is licensed under the GNU General Public
5  * License. You may obtain a copy of the GNU General Public License
6  * Version 2 or later at the following locations:
7  *
8  * http://www.opensource.org/licenses/gpl-license.html
9  * http://www.gnu.org/copyleft/gpl.html
10  */
12 /dts-v1/;
13 #include "bcm2835.dtsi"
14 #include "bcm2835-rpi.dtsi"
15 #include "bcm283x-rpi-usb-otg.dtsi"
17 / {
18         compatible = "raspberrypi,model-zero", "brcm,bcm2835";
19         model = "Raspberry Pi Zero";
21         leds {
22                 act {
23                         gpios = <&gpio 47 GPIO_ACTIVE_HIGH>;
24                 };
25         };
28 &gpio {
29         /*
30          * This is based on the official GPU firmware DT blob.
31          *
32          * Legend:
33          * "NC" = not connected (no rail from the SoC)
34          * "FOO" = GPIO line named "FOO" on the schematic
35          * "FOO_N" = GPIO line named "FOO" on schematic, active low
36          */
37         gpio-line-names = "SDA0",
38                           "SCL0",
39                           "SDA1",
40                           "SCL1",
41                           "GPIO_GCLK",
42                           "GPIO5",
43                           "GPIO6",
44                           "SPI_CE1_N",
45                           "SPI_CE0_N",
46                           "SPI_MISO",
47                           "SPI_MOSI",
48                           "SPI_SCLK",
49                           "GPIO12",
50                           "GPIO13",
51                           /* Serial port */
52                           "TXD0",
53                           "RXD0",
54                           "GPIO16",
55                           "GPIO17",
56                           "GPIO18",
57                           "GPIO19",
58                           "GPIO20",
59                           "GPIO21",
60                           "GPIO22",
61                           "GPIO23",
62                           "GPIO24",
63                           "GPIO25",
64                           "GPIO26",
65                           "GPIO27",
66                           "SDA0",
67                           "SCL0",
68                           "NC", /* GPIO30 */
69                           "NC", /* GPIO31 */
70                           "CAM_GPIO1", /* GPIO32 */
71                           "NC", /* GPIO33 */
72                           "NC", /* GPIO34 */
73                           "NC", /* GPIO35 */
74                           "NC", /* GPIO36 */
75                           "NC", /* GPIO37 */
76                           "NC", /* GPIO38 */
77                           "NC", /* GPIO39 */
78                           "NC", /* GPIO40 */
79                           "CAM_GPIO0", /* GPIO41 */
80                           "NC", /* GPIO42 */
81                           "NC", /* GPIO43 */
82                           "NC", /* GPIO44 */
83                           "NC", /* GPIO45 */
84                           "HDMI_HPD_N",
85                           "STATUS_LED_N",
86                           /* Used by SD Card */
87                           "SD_CLK_R",
88                           "SD_CMD_R",
89                           "SD_DATA0_R",
90                           "SD_DATA1_R",
91                           "SD_DATA2_R",
92                           "SD_DATA3_R";
94         pinctrl-0 = <&gpioout &alt0 &i2s_alt0>;
96         /* I2S interface */
97         i2s_alt0: i2s_alt0 {
98                 brcm,pins = <18 19 20 21>;
99                 brcm,function = <BCM2835_FSEL_ALT0>;
100         };
103 &hdmi {
104         hpd-gpios = <&gpio 46 GPIO_ACTIVE_LOW>;
107 &uart0 {
108         pinctrl-names = "default";
109         pinctrl-0 = <&uart0_gpio14>;
110         status = "okay";