Use tcb0 as the clocksource like previously selected in at91_dt_defconfig.

Cc: Antoine Aubert <a.aub...@overkiz.com>
Signed-off-by: Alexandre Belloni <alexandre.bell...@free-electrons.com>
---
 arch/arm/boot/dts/at91-kizboxmini.dts | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/arch/arm/boot/dts/at91-kizboxmini.dts 
b/arch/arm/boot/dts/at91-kizboxmini.dts
index 9682d105d4d8..2fc100414a00 100644
--- a/arch/arm/boot/dts/at91-kizboxmini.dts
+++ b/arch/arm/boot/dts/at91-kizboxmini.dts
@@ -34,6 +34,18 @@
 
        ahb {
                apb {
+                       tcb0: timer@f8008000 {
+                               timer@0 {
+                                       compatible = "atmel,tcb-clksrc";
+                                       reg = <0>;
+                               };
+
+                               timer@1 {
+                                       compatible = "atmel,tcb-clkevt";
+                                       reg = <1>;
+                               };
+                       };
+
                        usart0: serial@f801c000 {
                                status = "okay";
                        };
-- 
2.8.1

Reply via email to