From 5a30511866c00b340ad0a07830f0d9bf0eeb2665 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Wed, 22 Jul 2026 16:59:42 -0400
Subject: [PATCH] ke/sched: fix priority formula

Hogs got promoted while other threads got demoted :(
---
 src/kern/sched.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kern/sched.zig b/src/kern/sched.zig
index 17e0423..7d42839 100644
--- a/src/kern/sched.zig
+++ b/src/kern/sched.zig
@@ -985,7 +985,7 @@ fn recompute_priority(td: *ke.Thread) void {
             @as(i32, cpu_range / 2),
         );
 
-        const raw = @as(i32, ke.Thread.Priority.low_batch) +
+        const raw = @as(i32, ke.Thread.Priority.high_batch) -
             @as(i32, cpu_pri_off) +
             nice_off;