1 // SPDX-License-Identifier: GPL-2.0
2 #include "bcm283x.dtsi"
3 #include "bcm2835-common.dtsi"
6 compatible = "brcm,bcm2835";
14 compatible = "arm,arm1176jzf-s";
20 ranges = <0x7e000000 0x20000000 0x02000000>;
21 dma-ranges = <0x40000000 0x00000000 0x20000000>;
25 compatible = "arm,arm1176-pmu";
30 coefficients = <(-538) 407000>;
33 /* enable thermal sensor with the correct compatible property set */
35 compatible = "brcm,bcm2835-thermal";