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";
22 firmware_clocks: clocks {
23 compatible = "raspberrypi,firmware-clocks";
28 compatible = "raspberrypi,firmware-gpio";
35 compatible = "raspberrypi,firmware-reset";
41 clocks = <&firmware_clocks 13>, <&firmware_clocks 14>, <&dvp 0>, <&clk_27MHz>;
42 clock-names = "hdmi", "bvb", "audio", "cec";
43 wifi-2.4ghz-coexistence;
47 clocks = <&firmware_clocks 13>, <&firmware_clocks 14>, <&dvp 1>, <&clk_27MHz>;
48 clock-names = "hdmi", "bvb", "audio", "cec";
49 wifi-2.4ghz-coexistence;
53 clocks = <&firmware_clocks 4>;
58 * RPi4's co-processor will copy the board's bootloader configuration
59 * into memory for the OS to consume. It'll also update this node with
60 * its placement information.
63 compatible = "raspberrypi,bootloader-config", "nvmem-rmem";
73 interrupts = <GIC_SPI 34 IRQ_TYPE_LEVEL_HIGH>;