freebsd-dev/src/arm/bcm2835.dtsi

#include "bcm283x.dtsi"

/ {
	compatible = "brcm,bcm2835";

	cpus {
		#address-cells = <1>;
		#size-cells = <0>;

		cpu@0 {
			device_type = "cpu";
			compatible = "arm,arm1176jzf-s";
			reg = <0x0>;
		};
	};

	soc {
		ranges = <0x7e000000 0x20000000 0x02000000>;
		dma-ranges = <0x40000000 0x00000000 0x20000000>;

		arm-pmu {
			compatible = "arm,arm1176-pmu";
		};
	};
};