From 40333f1a37a5a1fd5c606d8e30fac7c90f040cfb Mon Sep 17 00:00:00 2001
From: Liam Kerr <liam.d.kerr@protonmail.com>
Date: Sat, 2 May 2026 03:19:15 +0100
Subject: [PATCH] timer: Refactor tick_delta to use hardware-specific clock
 frequency

---
 src/kernel/timer.c | 2 +-
 src/kernel/timer.h | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/kernel/timer.c b/src/kernel/timer.c
index fe57e23..03320da 100644
--- a/src/kernel/timer.c
+++ b/src/kernel/timer.c
@@ -6,7 +6,7 @@
 #include "drivers/uart.h"
 
 _Atomic uint64_t sys_ticks = 0;
-const uint64_t tick_delta = 1000;
+const uint64_t tick_delta = TICKS_PER_MS;
 
 void timer_init() {
     timer_tick();
diff --git a/src/kernel/timer.h b/src/kernel/timer.h
index ac0a2af..089010f 100644
--- a/src/kernel/timer.h
+++ b/src/kernel/timer.h
@@ -2,6 +2,13 @@
 #define TIMER_H
 #include <stdint.h>
 
+/* Define your clock frequency here based on your hardware */
+/* Example: 12.5 MHz for QEMU virt machine */
+#define CLOCK_FREQ_HZ 12500000 
+
+/* Calculate ticks per millisecond */
+#define TICKS_PER_MS (CLOCK_FREQ_HZ / 1000) 
+
 extern _Atomic uint64_t sys_ticks;
 extern const uint64_t tick_delta;