1 // SPDX-License-Identifier: GPL-2.0
2 #include "bcm283x.dtsi"
3 #include "bcm2835-common.dtsi"
4 #include "bcm2835-rpi-common.dtsi"
7 compatible = "brcm,bcm2835";
15 compatible = "arm,arm1176jzf-s";
21 ranges = <0x7e000000 0x20000000 0x02000000>;
22 dma-ranges = <0x40000000 0x00000000 0x20000000>;
26 compatible = "arm,arm1176-pmu";
31 coefficients = <(-538) 407000>;
34 /* enable thermal sensor with the correct compatible property set */
36 compatible = "brcm,bcm2835-thermal";