Index: sys/boot/fdt/dts/arm/armada-38x.dtsi
===================================================================
--- sys/boot/fdt/dts/arm/armada-38x.dtsi
+++ sys/boot/fdt/dts/arm/armada-38x.dtsi
@@ -152,10 +152,13 @@
 				reg = <0xc000 0x58>;
 			};
 
-			timer@c600 {
-				compatible = "arm,cortex-a9-twd-timer";
-				reg = <0xc600 0x20>;
-				interrupts = <GIC_PPI 13 (IRQ_TYPE_EDGE_RISING | GIC_CPU_MASK_SIMPLE(2))>;
+			timer@c200 {
+				compatible = "arm,mpcore-timers";
+				reg = <0xc200 0x100>,
+				      <0xc600 0x100>;
+				interrupts = <GIC_PPI 11 (IRQ_TYPE_EDGE_RISING | GIC_CPU_MASK_SIMPLE(2))>,
+					     <GIC_PPI 13 (IRQ_TYPE_EDGE_RISING | GIC_CPU_MASK_SIMPLE(2))>;
+				clock-frequency = <800000000>;
 				clocks = <&coreclk 2>;
 			};