Use tcb0 as the clocksource like previously selected in at91_dt_defconfig.

Cc: Fabio Porcedda <fabio.porce...@gmail.com>
Signed-off-by: Alexandre Belloni <alexandre.bell...@free-electrons.com>
---
 arch/arm/boot/dts/ge863-pro3.dtsi | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/arch/arm/boot/dts/ge863-pro3.dtsi 
b/arch/arm/boot/dts/ge863-pro3.dtsi
index 0d0e62489d93..6b5eb285b072 100644
--- a/arch/arm/boot/dts/ge863-pro3.dtsi
+++ b/arch/arm/boot/dts/ge863-pro3.dtsi
@@ -27,6 +27,18 @@
 
        ahb {
                apb {
+                       tcb0: timer@fffa0000 {
+                               timer@0 {
+                                       compatible = "atmel,tcb-clksrc";
+                                       reg = <0>, <1>;
+                               };
+
+                               timer@2 {
+                                       compatible = "atmel,tcb-clkevt";
+                                       reg = <2>;
+                               };
+                       };
+
                        dbgu: serial@fffff200 {
                                status = "okay";
                        };
-- 
2.8.1

Reply via email to