summaryrefslogtreecommitdiffhomepage
path: root/src/kernel/HALKit
diff options
context:
space:
mode:
Diffstat (limited to 'src/kernel/HALKit')
-rw-r--r--src/kernel/HALKit/AMD64/CPUID.h1
-rw-r--r--src/kernel/HALKit/AMD64/CxxAbi.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalApplicationProcessor.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalDebugOutput.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalDebugProtocol.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalDescriptorLoader.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalKernelMain.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalKernelPanic.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalPagingMgr.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalProcessor.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/HalTimer.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Hypervisor.h1
-rw-r--r--src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/DMA.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/Database.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/Device.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/Express.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/IO.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/Iterator.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/PCI/PCI.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Paging.h1
-rw-r--r--src/kernel/HALKit/AMD64/Processor.h1
-rw-r--r--src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Storage/DMA+Generic.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Storage/NVME+Generic.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Storage/PIO+Generic.cpp1
-rw-r--r--src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/APM/APM+IO.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/ApplicationProcessor.h1
-rw-r--r--src/kernel/HALKit/ARM64/CxxAbi.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalApplicationProcessor.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalDebugOutput.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalKernelMain.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalKernelPanic.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalPagingMgr.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalSchedulerCore.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/HalTimer.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/Paging.h1
-rw-r--r--src/kernel/HALKit/ARM64/Processor.h1
-rw-r--r--src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cpp1
-rw-r--r--src/kernel/HALKit/ARM64/Storage/UFS+Generic.cpp2
-rw-r--r--src/kernel/HALKit/POWER/AP.h1
-rw-r--r--src/kernel/HALKit/POWER/HalApplicationProcessor.cpp1
-rw-r--r--src/kernel/HALKit/POWER/HalDebugOutput.cpp1
-rw-r--r--src/kernel/HALKit/POWER/HalHardwareThread.cpp1
-rw-r--r--src/kernel/HALKit/POWER/HalVirtualMemory.cpp1
-rw-r--r--src/kernel/HALKit/POWER/Processor.h1
-rw-r--r--src/kernel/HALKit/RISCV/AP.h1
-rw-r--r--src/kernel/HALKit/RISCV/HalApplicationProcessor.cpp1
56 files changed, 56 insertions, 1 deletions
diff --git a/src/kernel/HALKit/AMD64/CPUID.h b/src/kernel/HALKit/AMD64/CPUID.h
index 423c1e2b..c6f929a5 100644
--- a/src/kernel/HALKit/AMD64/CPUID.h
+++ b/src/kernel/HALKit/AMD64/CPUID.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_CPUID_H
#define HALKIT_CPUID_H
diff --git a/src/kernel/HALKit/AMD64/CxxAbi.cpp b/src/kernel/HALKit/AMD64/CxxAbi.cpp
index 02ad2464..26192f91 100644
--- a/src/kernel/HALKit/AMD64/CxxAbi.cpp
+++ b/src/kernel/HALKit/AMD64/CxxAbi.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/DebugOutput.h>
#include <KernelKit/KPC.h>
#include <KernelKit/UserProcessScheduler.h>
diff --git a/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cpp b/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cpp
index ddcda1cd..0b004d9d 100644
--- a/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cpp
+++ b/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <HALKit/AMD64/Processor.h>
#include <KernelKit/HeapMgr.h>
diff --git a/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cpp b/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cpp
index b377a26b..4b11bf41 100644
--- a/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cpp
+++ b/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/AMD64/Processor.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
diff --git a/src/kernel/HALKit/AMD64/HalApplicationProcessor.cpp b/src/kernel/HALKit/AMD64/HalApplicationProcessor.cpp
index e6c231c2..2ff27ee2 100644
--- a/src/kernel/HALKit/AMD64/HalApplicationProcessor.cpp
+++ b/src/kernel/HALKit/AMD64/HalApplicationProcessor.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#define APIC_MAG "APIC"
#define APIC_ICR_LOW 0x300
diff --git a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cpp b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cpp
index c46c459e..92fb064c 100644
--- a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cpp
+++ b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/ProcessScheduler.h>
#include <KernelKit/UserMgr+User.h>
diff --git a/src/kernel/HALKit/AMD64/HalDebugOutput.cpp b/src/kernel/HALKit/AMD64/HalDebugOutput.cpp
index 219f1088..a63b3657 100644
--- a/src/kernel/HALKit/AMD64/HalDebugOutput.cpp
+++ b/src/kernel/HALKit/AMD64/HalDebugOutput.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/DebugOutput.h>
#include <NeKit/New.h>
diff --git a/src/kernel/HALKit/AMD64/HalDebugProtocol.cpp b/src/kernel/HALKit/AMD64/HalDebugProtocol.cpp
index 8a1ba020..774f6869 100644
--- a/src/kernel/HALKit/AMD64/HalDebugProtocol.cpp
+++ b/src/kernel/HALKit/AMD64/HalDebugProtocol.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/DebugOutput.h>
#include <NetworkKit/NetworkDevice.h>
diff --git a/src/kernel/HALKit/AMD64/HalDescriptorLoader.cpp b/src/kernel/HALKit/AMD64/HalDescriptorLoader.cpp
index e35c0701..d006f4b9 100644
--- a/src/kernel/HALKit/AMD64/HalDescriptorLoader.cpp
+++ b/src/kernel/HALKit/AMD64/HalDescriptorLoader.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <FSKit/NeFS.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalKernelMain.cpp b/src/kernel/HALKit/AMD64/HalKernelMain.cpp
index eb3695cc..7468b76d 100644
--- a/src/kernel/HALKit/AMD64/HalKernelMain.cpp
+++ b/src/kernel/HALKit/AMD64/HalKernelMain.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <CFKit/Property.h>
#include <FirmwareKit/EFI/API.h>
diff --git a/src/kernel/HALKit/AMD64/HalKernelPanic.cpp b/src/kernel/HALKit/AMD64/HalKernelPanic.cpp
index 6f73e523..d9afa204 100644
--- a/src/kernel/HALKit/AMD64/HalKernelPanic.cpp
+++ b/src/kernel/HALKit/AMD64/HalKernelPanic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <FirmwareKit/Handover.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/AMD64/HalPagingMgr.cpp b/src/kernel/HALKit/AMD64/HalPagingMgr.cpp
index fe9cc1f5..5d27e108 100644
--- a/src/kernel/HALKit/AMD64/HalPagingMgr.cpp
+++ b/src/kernel/HALKit/AMD64/HalPagingMgr.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/AMD64/Paging.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalProcessor.cpp b/src/kernel/HALKit/AMD64/HalProcessor.cpp
index 87c6173c..ced23fea 100644
--- a/src/kernel/HALKit/AMD64/HalProcessor.cpp
+++ b/src/kernel/HALKit/AMD64/HalProcessor.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/AMD64/Paging.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cpp b/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cpp
index 8c93c6a1..7af6991f 100644
--- a/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cpp
+++ b/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/AMD64/Processor.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/src/kernel/HALKit/AMD64/HalTimer.cpp b/src/kernel/HALKit/AMD64/HalTimer.cpp
index 2c604369..53b1c0c0 100644
--- a/src/kernel/HALKit/AMD64/HalTimer.cpp
+++ b/src/kernel/HALKit/AMD64/HalTimer.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/Timer.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
diff --git a/src/kernel/HALKit/AMD64/Hypervisor.h b/src/kernel/HALKit/AMD64/Hypervisor.h
index 76ec8bae..a0ffc38a 100644
--- a/src/kernel/HALKit/AMD64/Hypervisor.h
+++ b/src/kernel/HALKit/AMD64/Hypervisor.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_HYPERVISOR_H
#define HALKIT_HYPERVISOR_H
diff --git a/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cpp b/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cpp
index d30324f0..aacda36c 100644
--- a/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cpp
+++ b/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <DmaKit/DmaPool.h>
#include <HALKit/AMD64/Processor.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/DMA.cpp b/src/kernel/HALKit/AMD64/PCI/DMA.cpp
index f23508f0..467476eb 100644
--- a/src/kernel/HALKit/AMD64/PCI/DMA.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/DMA.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/PCI/DMA.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Database.cpp b/src/kernel/HALKit/AMD64/PCI/Database.cpp
index b2d4bcb4..1303b683 100644
--- a/src/kernel/HALKit/AMD64/PCI/Database.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/Database.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/PCI/Database.h>
namespace Kernel {}
diff --git a/src/kernel/HALKit/AMD64/PCI/Device.cpp b/src/kernel/HALKit/AMD64/PCI/Device.cpp
index 6eaedfc0..06f329a6 100644
--- a/src/kernel/HALKit/AMD64/PCI/Device.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/Device.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/PCI/Device.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Express.cpp b/src/kernel/HALKit/AMD64/PCI/Express.cpp
index b7912b22..ca7065ac 100644
--- a/src/kernel/HALKit/AMD64/PCI/Express.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/Express.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/PCI/Express.h>
namespace Kernel {}
diff --git a/src/kernel/HALKit/AMD64/PCI/IO.cpp b/src/kernel/HALKit/AMD64/PCI/IO.cpp
index 24781584..58483e7d 100644
--- a/src/kernel/HALKit/AMD64/PCI/IO.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/IO.cpp
@@ -2,4 +2,5 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/PCI/IO.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Iterator.cpp b/src/kernel/HALKit/AMD64/PCI/Iterator.cpp
index 0d1e28b1..5b6fccc3 100644
--- a/src/kernel/HALKit/AMD64/PCI/Iterator.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/Iterator.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/PCI/Iterator.h>
namespace Kernel::PCI {
diff --git a/src/kernel/HALKit/AMD64/PCI/PCI.cpp b/src/kernel/HALKit/AMD64/PCI/PCI.cpp
index 12dfc019..656c6642 100644
--- a/src/kernel/HALKit/AMD64/PCI/PCI.cpp
+++ b/src/kernel/HALKit/AMD64/PCI/PCI.cpp
@@ -2,4 +2,5 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/PCI/PCI.h>
diff --git a/src/kernel/HALKit/AMD64/Paging.h b/src/kernel/HALKit/AMD64/Paging.h
index ef4be08a..7b64835a 100644
--- a/src/kernel/HALKit/AMD64/Paging.h
+++ b/src/kernel/HALKit/AMD64/Paging.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_PAGING_H
#define HALKIT_PAGING_H
diff --git a/src/kernel/HALKit/AMD64/Processor.h b/src/kernel/HALKit/AMD64/Processor.h
index 1bcbbc1f..84d3cb3c 100644
--- a/src/kernel/HALKit/AMD64/Processor.h
+++ b/src/kernel/HALKit/AMD64/Processor.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_PROCESSOR_H
#define HALKIT_PROCESSOR_H
diff --git a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cpp b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cpp
index 4cabb49d..293b1839 100644
--- a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cpp
+++ b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <DmaKit/DmaPool.h>
#include <FirmwareKit/EPM.h>
#include <KernelKit/DeviceMgr.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cpp b/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cpp
index 8e983133..6d248286 100644
--- a/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cpp
+++ b/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/PCI/Iterator.h>
#include <modules/ATA/ATA.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cpp b/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cpp
index 53c77d1d..d9bda4f4 100644
--- a/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cpp
+++ b/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <modules/NVME/NVME.h>
using namespace Kernel;
diff --git a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cpp b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cpp
index 764985cf..cca92b68 100644
--- a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cpp
+++ b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/DriveMgr.h>
#include <StorageKit/ATA.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cpp b/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cpp
index 5aaa8713..3c44f983 100644
--- a/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cpp
+++ b/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <modules/SCSI/SCSI.h>
using namespace Kernel;
diff --git a/src/kernel/HALKit/ARM64/APM/APM+IO.cpp b/src/kernel/HALKit/ARM64/APM/APM+IO.cpp
index 77bfb2ac..a16f9ee1 100644
--- a/src/kernel/HALKit/ARM64/APM/APM+IO.cpp
+++ b/src/kernel/HALKit/ARM64/APM/APM+IO.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/KPC.h>
#include <modules/APM/APM.h>
diff --git a/src/kernel/HALKit/ARM64/ApplicationProcessor.h b/src/kernel/HALKit/ARM64/ApplicationProcessor.h
index 722fd1d3..d6256f05 100644
--- a/src/kernel/HALKit/ARM64/ApplicationProcessor.h
+++ b/src/kernel/HALKit/ARM64/ApplicationProcessor.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_APPLICATIONPROCESSOR_H
#define HALKIT_APPLICATIONPROCESSOR_H
diff --git a/src/kernel/HALKit/ARM64/CxxAbi.cpp b/src/kernel/HALKit/ARM64/CxxAbi.cpp
index 7f8c8245..3c7c7952 100644
--- a/src/kernel/HALKit/ARM64/CxxAbi.cpp
+++ b/src/kernel/HALKit/ARM64/CxxAbi.cpp
@@ -3,6 +3,7 @@
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/DebugOutput.h>
#include <KernelKit/KPC.h>
#include <NeKit/CxxAbi.h>
diff --git a/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cpp b/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cpp
index 3cf998a4..78e40589 100644
--- a/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cpp
+++ b/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/HeapMgr.h>
#include <NeKit/KString.h>
diff --git a/src/kernel/HALKit/ARM64/HalApplicationProcessor.cpp b/src/kernel/HALKit/ARM64/HalApplicationProcessor.cpp
index a9d3a7e1..67f6e67f 100644
--- a/src/kernel/HALKit/ARM64/HalApplicationProcessor.cpp
+++ b/src/kernel/HALKit/ARM64/HalApplicationProcessor.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#define GICD_BASE 0x08000000
#define GICC_BASE 0x08010000
diff --git a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cpp b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cpp
index 2239c72a..39f12705 100644
--- a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cpp
+++ b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/ProcessScheduler.h>
#include <KernelKit/UserMgr+User.h>
diff --git a/src/kernel/HALKit/ARM64/HalDebugOutput.cpp b/src/kernel/HALKit/ARM64/HalDebugOutput.cpp
index a4a2c9cf..bc9d125f 100644
--- a/src/kernel/HALKit/ARM64/HalDebugOutput.cpp
+++ b/src/kernel/HALKit/ARM64/HalDebugOutput.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/DebugOutput.h>
#include <NeKit/New.h>
diff --git a/src/kernel/HALKit/ARM64/HalKernelMain.cpp b/src/kernel/HALKit/ARM64/HalKernelMain.cpp
index 3017f264..51245abc 100644
--- a/src/kernel/HALKit/ARM64/HalKernelMain.cpp
+++ b/src/kernel/HALKit/ARM64/HalKernelMain.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <CFKit/Property.h>
#include <FirmwareKit/Handover.h>
diff --git a/src/kernel/HALKit/ARM64/HalKernelPanic.cpp b/src/kernel/HALKit/ARM64/HalKernelPanic.cpp
index 14e62430..11e63ed8 100644
--- a/src/kernel/HALKit/ARM64/HalKernelPanic.cpp
+++ b/src/kernel/HALKit/ARM64/HalKernelPanic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <FirmwareKit/Handover.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/ARM64/HalPagingMgr.cpp b/src/kernel/HALKit/ARM64/HalPagingMgr.cpp
index 4c41e315..485cc476 100644
--- a/src/kernel/HALKit/ARM64/HalPagingMgr.cpp
+++ b/src/kernel/HALKit/ARM64/HalPagingMgr.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/ARM64/Paging.h>
#include <HALKit/ARM64/Processor.h>
diff --git a/src/kernel/HALKit/ARM64/HalSchedulerCore.cpp b/src/kernel/HALKit/ARM64/HalSchedulerCore.cpp
index 18989d67..e63643af 100644
--- a/src/kernel/HALKit/ARM64/HalSchedulerCore.cpp
+++ b/src/kernel/HALKit/ARM64/HalSchedulerCore.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <KernelKit/ProcessScheduler.h>
namespace Kernel {
diff --git a/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cpp b/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cpp
index b35bb96b..634fc9c4 100644
--- a/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cpp
+++ b/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/ARM64/Processor.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/src/kernel/HALKit/ARM64/HalTimer.cpp b/src/kernel/HALKit/ARM64/HalTimer.cpp
index c4ffd6e4..9c8ff8a4 100644
--- a/src/kernel/HALKit/ARM64/HalTimer.cpp
+++ b/src/kernel/HALKit/ARM64/HalTimer.cpp
@@ -2,5 +2,6 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <ArchKit/ArchKit.h>
#include <KernelKit/Timer.h> \ No newline at end of file
diff --git a/src/kernel/HALKit/ARM64/Paging.h b/src/kernel/HALKit/ARM64/Paging.h
index ab49b631..fd04c2da 100644
--- a/src/kernel/HALKit/ARM64/Paging.h
+++ b/src/kernel/HALKit/ARM64/Paging.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_PAGING_H
#define HALKIT_PAGING_H
diff --git a/src/kernel/HALKit/ARM64/Processor.h b/src/kernel/HALKit/ARM64/Processor.h
index 0393703f..6fa63303 100644
--- a/src/kernel/HALKit/ARM64/Processor.h
+++ b/src/kernel/HALKit/ARM64/Processor.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_PROCESSOR_H
#define HALKIT_PROCESSOR_H
diff --git a/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cpp b/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cpp
index 5aaa8713..3c44f983 100644
--- a/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cpp
+++ b/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <modules/SCSI/SCSI.h>
using namespace Kernel;
diff --git a/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cpp b/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cpp
index fc0afb76..7bfa847f 100644
--- a/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cpp
+++ b/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cpp
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
-// Official repository: https://github.com/ne-foss-org/nekernel \ No newline at end of file
+// Official repository: https://github.com/ne-foss-org/nekernel
diff --git a/src/kernel/HALKit/POWER/AP.h b/src/kernel/HALKit/POWER/AP.h
index ec86d9cf..0f122925 100644
--- a/src/kernel/HALKit/POWER/AP.h
+++ b/src/kernel/HALKit/POWER/AP.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_AP_H
#define HALKIT_AP_H
diff --git a/src/kernel/HALKit/POWER/HalApplicationProcessor.cpp b/src/kernel/HALKit/POWER/HalApplicationProcessor.cpp
index 7557ad4d..5eed28d1 100644
--- a/src/kernel/HALKit/POWER/HalApplicationProcessor.cpp
+++ b/src/kernel/HALKit/POWER/HalApplicationProcessor.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/POWER/AP.h>
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/POWER/HalDebugOutput.cpp b/src/kernel/HALKit/POWER/HalDebugOutput.cpp
index 0765e141..11491dae 100644
--- a/src/kernel/HALKit/POWER/HalDebugOutput.cpp
+++ b/src/kernel/HALKit/POWER/HalDebugOutput.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/POWER/HalHardwareThread.cpp b/src/kernel/HALKit/POWER/HalHardwareThread.cpp
index 00278bf8..094a8cb3 100644
--- a/src/kernel/HALKit/POWER/HalHardwareThread.cpp
+++ b/src/kernel/HALKit/POWER/HalHardwareThread.cpp
@@ -2,5 +2,6 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/POWER/HalVirtualMemory.cpp b/src/kernel/HALKit/POWER/HalVirtualMemory.cpp
index 8fc5b93d..de2cc793 100644
--- a/src/kernel/HALKit/POWER/HalVirtualMemory.cpp
+++ b/src/kernel/HALKit/POWER/HalVirtualMemory.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/POWER/MMU.h>
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/POWER/Processor.h b/src/kernel/HALKit/POWER/Processor.h
index 61acf95b..1c982a34 100644
--- a/src/kernel/HALKit/POWER/Processor.h
+++ b/src/kernel/HALKit/POWER/Processor.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_PROCESSOR_H
#define HALKIT_PROCESSOR_H
diff --git a/src/kernel/HALKit/RISCV/AP.h b/src/kernel/HALKit/RISCV/AP.h
index 5a2056ef..4bb3e22a 100644
--- a/src/kernel/HALKit/RISCV/AP.h
+++ b/src/kernel/HALKit/RISCV/AP.h
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#ifndef HALKIT_AP_H
#define HALKIT_AP_H
diff --git a/src/kernel/HALKit/RISCV/HalApplicationProcessor.cpp b/src/kernel/HALKit/RISCV/HalApplicationProcessor.cpp
index 636d074c..80c16825 100644
--- a/src/kernel/HALKit/RISCV/HalApplicationProcessor.cpp
+++ b/src/kernel/HALKit/RISCV/HalApplicationProcessor.cpp
@@ -2,6 +2,7 @@
// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel
+
#include <HALKit/RISCV/AP.h>
#include <HALKit/RISCV/Processor.h>
#include <KernelKit/DebugOutput.h>