From 30ba1aab88bd8138a6b3b3e1dbb464e4e67af698 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Tue, 3 Feb 2026 19:06:45 +0100
Subject: chore: {DDK, KernelKit}: Improvements and release schedule.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc')

diff --git a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
index 2c8a5e28..a171ac57 100644
--- a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
+++ b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
@@ -65,8 +65,7 @@ EXTERN_C void idt_handle_scheduler(Kernel::UIntPtr rsp) {
 
   hal_idt_send_eoi(32);
 
-  while (kIsRunning)
-    ;
+  while (kIsRunning);
 
   kIsRunning = YES;
 
-- 
cgit v1.2.3