From 0d1bf5ee926d74b66b6e891fb65816621c51824a Mon Sep 17 00:00:00 2001
From: Ada Christine <adachristine18@gmail.com>
Date: Thu, 17 Feb 2022 13:54:46 +0000
Subject: force 8253 timer to minimum frequency, log timesource delta at task
 management start

---
 kc/core/task.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kc/core/task.c')

diff --git a/kc/core/task.c b/kc/core/task.c
index 13263d8..f24850c 100644
--- a/kc/core/task.c
+++ b/kc/core/task.c
@@ -130,6 +130,9 @@ noreturn void task_init(void)
     lock_scheduler();
     timesource = &pit8253_timer_source;
     timesource->start();
+    kprintf(
+            "starting task management, timesource delta %luns\n",
+            timesource->nanoseconds_delta());
     char *kernel_rsp0 = vm_alloc(4096);
     // TODO: make it so this isn't demand-allocated.
     // TODO: decouple the task management code from cpu-dependent task code
-- 
cgit v1.3.1-1-g115d