kernel(feat): Add basic wide system bug check (memory check), other

changes have been made too, see commit details for more information.

Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>

8 files changed, 6 insertions, 20 deletions

diff --git a/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc b/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
index da680afa..5880cc7c 100644
--- a/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
@@ -30,7 +30,7 @@
 
 ///////////////////////////////////////////////////////////////////////////////////////
 
-//! NOTE: fGSI stands 'Field Global System Interrupt'
+/// @brief The **HAL** namespace.
 
 ///////////////////////////////////////////////////////////////////////////////////////
 
diff --git a/dev/kernel/HALKit/AMD64/MBCI/HalMBCI.cc b/dev/kernel/HALKit/AMD64/MBCI/HalMBCI.cc
deleted file mode 100644
index 09632bc9..00000000
--- a/dev/kernel/HALKit/AMD64/MBCI/HalMBCI.cc
+++ /dev/null
@@ -1,7 +0,0 @@
-/* -------------------------------------------
-
-	Copyright (C) 2024-2025, Amlal EL Mahrouss, all rights reserved.
-
-------------------------------------------- */
-
-#include <modules/MBCI/MBCI.h>
diff --git a/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
index 002266de..0180288c 100644
--- a/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
@@ -18,7 +18,7 @@
 #include <KernelKit/DeviceMgr.h>
 #include <KernelKit/DriveMgr.h>
 #include <KernelKit/UserProcessScheduler.h>
-#include <KernelKit/LPC.h>
+#include <KernelKit/KPC.h>
 
 #include <FirmwareKit/EPM.h>
 
diff --git a/dev/kernel/HALKit/ARM64/APM/APM+IO.cc b/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
index 752f29f9..5fb45452 100644
--- a/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
+++ b/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
@@ -5,7 +5,7 @@
 ------------------------------------------- */
 
 #include <modules/APM/APM.h>
-#include <KernelKit/LPC.h>
+#include <KernelKit/KPC.h>
 
 using namespace NeOS;
 
diff --git a/dev/kernel/HALKit/ARM64/MBCI/MBCI.cc b/dev/kernel/HALKit/ARM64/MBCI/MBCI.cc
deleted file mode 100644
index d2df66e6..00000000
--- a/dev/kernel/HALKit/ARM64/MBCI/MBCI.cc
+++ /dev/null
@@ -1,7 +0,0 @@
-/* -------------------------------------------
-
-	Copyright (C) 2025, Amlal EL Mahrouss, all rights reserved.
-
-------------------------------------------- */
-
-#include <modules/MBCI/MBCI.h>
\ No newline at end of file
diff --git a/dev/kernel/HALKit/ARM64/ReadMe.md b/dev/kernel/HALKit/ARM64/ReadMe.md
index c51229f2..a2807e5c 100644
--- a/dev/kernel/HALKit/ARM64/ReadMe.md
+++ b/dev/kernel/HALKit/ARM64/ReadMe.md
@@ -1,3 +1,3 @@
 # ARM64 Hardware Abstraction Layer
 
-- Supported Firmware: CoreBoot/EDK/OpenMobileBoot
+- Supported Firmware: NeKernel CoreBoot/EDK
diff --git a/dev/kernel/HALKit/POWER/ReadMe.md b/dev/kernel/HALKit/POWER/ReadMe.md
index a9751581..a4919c4a 100644
--- a/dev/kernel/HALKit/POWER/ReadMe.md
+++ b/dev/kernel/HALKit/POWER/ReadMe.md
@@ -1,4 +1,4 @@
 POWER Hardware Abstraction Layer
 
 - Supported CPU: POWER
-- Supported Firmware: CoreBoot
\ No newline at end of file
+- Supported Firmware: NeKernel CoreBoot
\ No newline at end of file
diff --git a/dev/kernel/HALKit/RISCV/ReadMe.md b/dev/kernel/HALKit/RISCV/ReadMe.md
index b099aa31..982a2acb 100644
--- a/dev/kernel/HALKit/RISCV/ReadMe.md
+++ b/dev/kernel/HALKit/RISCV/ReadMe.md
@@ -1,4 +1,4 @@
 RISCV64 Hardware Abstraction Layer
 
 - Supported CPU: RISCV64
-- Supported Firmware: CoreBoot
\ No newline at end of file
+- Supported Firmware: NeKernel CoreBoot
\ No newline at end of file