From 2d8fc2a6f01cd9e50239ce7cdbf814e81f2fc970 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Fri, 24 Jul 2026 19:50:58 -0400
Subject: [PATCH] ke/sched: update priority in clock()

---
 src/kern/sched.zig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kern/sched.zig b/src/kern/sched.zig
index ce867b8..9744848 100644
--- a/src/kern/sched.zig
+++ b/src/kern/sched.zig
@@ -403,6 +403,7 @@ pub fn clock(_: *ke.Dpc, _: ?*anyopaque) void {
 
         clamp_time(curtd);
         recompute_priority(curtd);
+        cpu.current_thread_prio.store(curtd.priority, .monotonic);
     }
 
     pelt_update_td(curtd, cpu, true);