From 1620684b8ebbacff4d6f548d0d16c2d14ab5b7d2 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 3 Sep 2024 16:14:16 +0200
Subject: [PATCH] Disable aux timer as OpenSBI now fails

---
 ox-plic.dts | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/ox-plic.dts b/ox-plic.dts
index e550464..f40168c 100644
--- a/ox-plic.dts
+++ b/ox-plic.dts
@@ -231,13 +231,13 @@
 			interrupts-extended = <&HLIC0 3>, <&HLIC0 7>;
 			compatible = "riscv,clint0";
 		};
-		aux_timer: clint@40010000 {
-			reg = <0x0 0x40010000 0x0 0x00010000>;
-			reg-names = "control";
-			interrupts = <4>; /* PLIC input source 4 */
-			interrupt-parent = <&PLIC>;
-			compatible = "riscv,clint0";
-		};
+//		aux_timer: clint@40010000 {
+//			reg = <0x0 0x40010000 0x0 0x00010000>;
+//			reg-names = "control";
+//			interrupts = <4>; /* PLIC input source 4 */
+//			interrupt-parent = <&PLIC>;
+//			compatible = "riscv,clint0";
+//		};
 //		clint: clint@40002000 {
 //			/* MTIME and MTIMECMP address and size pairs */
 //			reg = <0x0 0x40002000 0x0 0x8>, <0x0 0x40002008 0x0 0x8>;