1 // SPDX-License-Identifier: GPL-2.0
2 #include "bcm2835-rpi.dtsi"
4 #include <dt-bindings/reset/raspberrypi,firmware-reset.h>
7 /* Will be filled by the bootloader */
9 device_type = "memory";
23 firmware_clocks: clocks {
24 compatible = "raspberrypi,firmware-clocks";
29 compatible = "raspberrypi,firmware-gpio";
36 compatible = "raspberrypi,firmware-reset";
42 clocks = <&firmware_clocks 13>, <&firmware_clocks 14>, <&dvp 0>, <&clk_27MHz>;
43 clock-names = "hdmi", "bvb", "audio", "cec";
44 wifi-2.4ghz-coexistence;
48 clocks = <&firmware_clocks 13>, <&firmware_clocks 14>, <&dvp 1>, <&clk_27MHz>;
49 clock-names = "hdmi", "bvb", "audio", "cec";
50 wifi-2.4ghz-coexistence;
54 clocks = <&firmware_clocks 4>;
59 * RPi4's co-processor will copy the board's bootloader configuration
60 * into memory for the OS to consume. It'll also update this node with
61 * its placement information.
64 compatible = "raspberrypi,bootloader-config", "nvmem-rmem";
72 * RPi4 will copy the binary public key blob (if present) from the bootloader
73 * into memory for use by the OS.
76 compatible = "raspberrypi,bootloader-public-key", "nvmem-rmem";
86 clocks = <&firmware_clocks 5>;
90 interrupts = <GIC_SPI 34 IRQ_TYPE_LEVEL_HIGH>;