cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

bcm2835-rpi-b.dts (2125B)

      1// SPDX-License-Identifier: GPL-2.0
      2/dts-v1/;
      3#include "bcm2835.dtsi"
      4#include "bcm2835-rpi.dtsi"
      5#include "bcm283x-rpi-smsc9512.dtsi"
      6#include "bcm283x-rpi-usb-host.dtsi"
      7
      8/ {
      9	compatible = "raspberrypi,model-b", "brcm,bcm2835";
     10	model = "Raspberry Pi Model B";
     11
     12	memory@0 {
     13		device_type = "memory";
     14		reg = <0 0x10000000>;
     15	};
     16
     17	leds {
     18		led-act {
     19			gpios = <&gpio 16 GPIO_ACTIVE_LOW>;
     20		};
     21	};
     22};
     23
     24&gpio {
     25	/*
     26	 * Taken from Raspberry-Pi-Rev-1.0-Model-AB-Schematics.pdf
     27	 * RPI00021 sheet 02
     28	 *
     29	 * Legend:
     30	 * "FOO" = GPIO line named "FOO" on the schematic
     31	 * "FOO_N" = GPIO line named "FOO" on schematic, active low
     32	 */
     33	gpio-line-names = "SDA0",
     34			  "SCL0",
     35			  "SDA1",
     36			  "SCL1",
     37			  "GPIO_GCLK",
     38			  "CAM_GPIO1",
     39			  "LAN_RUN",
     40			  "SPI_CE1_N",
     41			  "SPI_CE0_N",
     42			  "SPI_MISO",
     43			  "SPI_MOSI",
     44			  "SPI_SCLK",
     45			  "", /* GPIO12 */
     46			  "", /* GPIO13 */
     47			  /* Serial port */
     48			  "TXD0",
     49			  "RXD0",
     50			  "STATUS_LED_N",
     51			  "GPIO17",
     52			  "GPIO18",
     53			  "", /* GPIO19 */
     54			  "", /* GPIO20 */
     55			  "CAM_GPIO0",
     56			  "GPIO22",
     57			  "GPIO23",
     58			  "GPIO24",
     59			  "GPIO25",
     60			  "", /* GPIO26 */
     61			  "GPIO27",
     62			  "GPIO28",
     63			  "GPIO29",
     64			  "GPIO30",
     65			  "GPIO31",
     66			  "", /* GPIO32 */
     67			  "", /* GPIO33 */
     68			  "", /* GPIO34 */
     69			  "", /* GPIO35 */
     70			  "", /* GPIO36 */
     71			  "", /* GPIO37 */
     72			  "", /* GPIO38 */
     73			  "", /* GPIO39 */
     74			  "PWM0_OUT",
     75			  "", /* GPIO41 */
     76			  "", /* GPIO42 */
     77			  "", /* GPIO43 */
     78			  "", /* GPIO44 */
     79			  "PWM1_OUT",
     80			  "HDMI_HPD_P",
     81			  "SD_CARD_DET",
     82			  /* Used by SD Card */
     83			  "SD_CLK_R",
     84			  "SD_CMD_R",
     85			  "SD_DATA0_R",
     86			  "SD_DATA1_R",
     87			  "SD_DATA2_R",
     88			  "SD_DATA3_R";
     89
     90	pinctrl-0 = <&gpioout &alt0>;
     91};
     92
     93&hdmi {
     94	hpd-gpios = <&gpio 46 GPIO_ACTIVE_HIGH>;
     95	power-domains = <&power RPI_POWER_DOMAIN_HDMI>;
     96	status = "okay";
     97};
     98
     99&pwm {
    100	pinctrl-names = "default";
    101	pinctrl-0 = <&pwm0_gpio40 &pwm1_gpio45>;
    102	status = "okay";
    103};
    104
    105&sdhost {
    106	pinctrl-names = "default";
    107	pinctrl-0 = <&sdhost_gpio48>;
    108	bus-width = <4>;
    109	status = "okay";
    110};
    111
    112&uart0 {
    113	pinctrl-names = "default";
    114	pinctrl-0 = <&uart0_gpio14>;
    115	status = "okay";
    116};