x86/mm/pat: Don't report PAT on CPUs that don't support it
[linux/fpc-iii.git] / arch / arm / boot / dts / bcm2835-rpi-b-rev2.dts
blob4133bc2cd9be309a3885e6d002b767fe2c4d0458
1 /dts-v1/;
2 #include "bcm2835.dtsi"
3 #include "bcm2835-rpi.dtsi"
4 #include "bcm283x-rpi-smsc9512.dtsi"
5 #include "bcm283x-rpi-usb-host.dtsi"
7 / {
8         compatible = "raspberrypi,model-b-rev2", "brcm,bcm2835";
9         model = "Raspberry Pi Model B rev2";
11         leds {
12                 act {
13                         gpios = <&gpio 16 1>;
14                 };
15         };
18 &gpio {
19         /*
20          * Taken from Raspberry-Pi-Rev-2.0-Model-AB-Schematics.pdf
21          * RPI00022 sheet 02
22          *
23          * Legend:
24          * "NC" = not connected (no rail from the SoC)
25          * "FOO" = GPIO line named "FOO" on the schematic
26          * "FOO_N" = GPIO line named "FOO" on schematic, active low
27          */
28         gpio-line-names = "SDA0",
29                           "SCL0",
30                           "SDA1",
31                           "SCL1",
32                           "GPIO_GCLK",
33                           "CAM_CLK",
34                           "LAN_RUN",
35                           "SPI_CE1_N",
36                           "SPI_CE0_N",
37                           "SPI_MISO",
38                           "SPI_MOSI",
39                           "SPI_SCLK",
40                           "NC", /* GPIO12 */
41                           "NC", /* GPIO13 */
42                           /* Serial port */
43                           "TXD0",
44                           "RXD0",
45                           "STATUS_LED_N",
46                           "GPIO17",
47                           "GPIO18",
48                           "NC", /* GPIO19 */
49                           "NC", /* GPIO20 */
50                           "CAM_GPIO",
51                           "GPIO22",
52                           "GPIO23",
53                           "GPIO24",
54                           "GPIO25",
55                           "NC", /* GPIO26 */
56                           "GPIO27",
57                           "GPIO28",
58                           "GPIO29",
59                           "GPIO30",
60                           "GPIO31",
61                           "NC", /* GPIO32 */
62                           "NC", /* GPIO33 */
63                           "NC", /* GPIO34 */
64                           "NC", /* GPIO35 */
65                           "NC", /* GPIO36 */
66                           "NC", /* GPIO37 */
67                           "NC", /* GPIO38 */
68                           "NC", /* GPIO39 */
69                           "PWM0_OUT",
70                           "NC", /* GPIO41 */
71                           "NC", /* GPIO42 */
72                           "NC", /* GPIO43 */
73                           "NC", /* GPIO44 */
74                           "PWM1_OUT",
75                           "HDMI_HPD_P",
76                           "SD_CARD_DET",
77                           /* Used by SD Card */
78                           "SD_CLK_R",
79                           "SD_CMD_R",
80                           "SD_DATA0_R",
81                           "SD_DATA1_R",
82                           "SD_DATA2_R",
83                           "SD_DATA3_R";
85         pinctrl-0 = <&gpioout &alt0 &i2s_alt2>;
87         /* I2S interface */
88         i2s_alt2: i2s_alt2 {
89                 brcm,pins = <28 29 30 31>;
90                 brcm,function = <BCM2835_FSEL_ALT2>;
91         };
94 &hdmi {
95         hpd-gpios = <&gpio 46 GPIO_ACTIVE_LOW>;