From 72b41e2f711198ad9baa846e7ba37f6e070cedb0 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Fri, 30 Jan 2026 08:10:48 +0100
Subject: chore: ddk: Fix build on nebuild for C++ DDK. chore: kernel: Tweaks
 and internal improvements.

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

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

diff --git a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
index 7ee4a69c..31a083d3 100644
--- a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
+++ b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
@@ -4,7 +4,7 @@
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/ProcessScheduler.h>
-#include <KernelKit/UserMgr.h>
+#include <KernelKit/UserMgr+User.h>
 #include <NeKit/KString.h>
 #include <SignalKit/Signals.h>
 
@@ -54,7 +54,8 @@ EXTERN_C void int_handle_scheduler(Kernel::UIntPtr rsp) {
 
   hal_int_send_eoi(32);
 
-  while (kIsRunning);
+  while (kIsRunning)
+    ;
 
   kIsRunning = YES;
 
-- 
cgit v1.2.3