1 #include "bcm2836.dtsi"
2 #include "bcm270x.dtsi"
6 ranges = <0x7e000000 0x3f000000 0x01000000>,
7 <0x40000000 0x40000000 0x00040000>;
9 /delete-node/ timer@7e003000;
13 arm_freq = <&v7_cpu0>, "clock-frequency:0",
14 <&v7_cpu1>, "clock-frequency:0",
15 <&v7_cpu2>, "clock-frequency:0",
16 <&v7_cpu3>, "clock-frequency:0";