From a40414d08c8ec789832cba3585e57a55eca6753f Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 3 Jul 2024 15:30:28 +0200
Subject: [PATCH] Add comment about the axi timer

This timer is present and initialized in OpenSBI and seems to drive the
UART device. Not sure if we need to see it from the kernel.
---
 ox-plic.dts | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/ox-plic.dts b/ox-plic.dts
index 915fdec..11c801c 100644
--- a/ox-plic.dts
+++ b/ox-plic.dts
@@ -170,5 +170,18 @@
 			/*<&SERIAL    0x3>,    <&SERIAL 0x7>*/
 			compatible = "riscv,clint0";
 		};
+
+		/* Guesswork: There must be a timer at 0x40170000 as it is
+		 * initialized in OpenSBI. It seems to drive the console. */
+		//axi_timer: timer@40170000 {
+		//	   clock-frequency = <100000000>;
+		//	   clocks = <&clk_bus_0>;
+		//	   compatible = "xlnx,xps-timer-1.00.a";
+		//	   interrupt-parent = <&axi_intc_1>;
+		//	   interrupts = <2 2>;
+		//	   reg = <0x41c00000 0x10000>;
+		//	   xlnx,count-width = <0x20>;
+		//	   xlnx,one-timer-only = <0x0>;
+		//};
 	};
 };