|
@@ -1932,14 +1932,6 @@
|
|
|
};
|
|
|
};
|
|
|
|
|
|
- timer {
|
|
|
- compatible = "arm,armv8-timer";
|
|
|
- interrupts-extended = <&gic GIC_PPI 13 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
- <&gic GIC_PPI 14 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
- <&gic GIC_PPI 11 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
- <&gic GIC_PPI 10 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>;
|
|
|
- };
|
|
|
-
|
|
|
thermal-zones {
|
|
|
sensor_thermal1: sensor-thermal1 {
|
|
|
polling-delay-passive = <250>;
|
|
@@ -1984,6 +1976,14 @@
|
|
|
};
|
|
|
};
|
|
|
|
|
|
+ timer {
|
|
|
+ compatible = "arm,armv8-timer";
|
|
|
+ interrupts-extended = <&gic GIC_PPI 13 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
+ <&gic GIC_PPI 14 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
+ <&gic GIC_PPI 11 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
|
|
|
+ <&gic GIC_PPI 10 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>;
|
|
|
+ };
|
|
|
+
|
|
|
/* External USB clocks - can be overridden by the board */
|
|
|
usb3s0_clk: usb3s0 {
|
|
|
compatible = "fixed-clock";
|