From 36690a814916f5a0f022920ab80f8bd75bbe2755 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Sun, 19 Apr 2026 20:59:46 -0400
Subject: [PATCH] fix(ke): acquire debug lock at high IPL

---
 src/kern/log.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kern/log.zig b/src/kern/log.zig
index a67c896..7adce33 100644
--- a/src/kern/log.zig
+++ b/src/kern/log.zig
@@ -68,7 +68,7 @@ pub fn log(
     // which would consume the ringbuffer from multiple consoles in a separate thread.
     var writer = DebugWriter.init();
 
-    const ipl = out_lock.acquire();
+    const ipl = out_lock.acquire_at(.High);
     defer out_lock.release(ipl);
 
     writer.interface.print("[{:>5}.{:06}] ", .{ res.info.timestamp / std.time.ns_per_s, res.info.timestamp / std.time.ns_per_us }) catch return;