From 22c6d41b25faac172bf290dc06e75ca1ea60470b Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 7 Jan 2026 21:32:05 +0100
Subject: feat: kernel: Loader, IPC, and Linker improvements.

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

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

diff --git a/src/kernel/HALKit/AMD64/HalKernelMain.cc b/src/kernel/HALKit/AMD64/HalKernelMain.cc
index ed82b60f..f8d0ca4b 100644
--- a/src/kernel/HALKit/AMD64/HalKernelMain.cc
+++ b/src/kernel/HALKit/AMD64/HalKernelMain.cc
@@ -8,6 +8,7 @@
 #include <FirmwareKit/EFI/EFI.h>
 #include <KernelKit/CodeMgr.h>
 #include <KernelKit/HardwareThreadScheduler.h>
+#include <KernelKit/PEFCodeMgr.h>
 #include <KernelKit/ProcessScheduler.h>
 #include <KernelKit/Timer.h>
 #include <NetworkKit/IPC.h>
@@ -145,11 +146,9 @@ EXTERN_C Kernel::Void hal_real_init(Kernel::Void) {
 
   UserProcessScheduler::The().SwitchTeam(kRTUserTeam);
 
-  // TODO: Prosan, Process sanitizer.
-  rtl_create_user_process([]() -> void { while (YES); }, "ProSan");
+  PEFLoader ldr("/system/init.out");
 
-  // TODO: Vet sanitizer.
-  rtl_create_user_process([]() -> void { while (YES); }, "VetSan");
+  if (ldr.IsLoaded()) rtl_create_user_process(ldr, UserProcess::ExecutableKind::kExecutableKind);
 
   HAL::mp_init_cores(kHandoverHeader->f_HardwareTables.f_VendorPtr);
 
-- 
cgit v1.2.3