kernel! giant source code refactor.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

32 files changed, 185 insertions, 313 deletions

diff --git a/src/kernel/HALKit/AMD64/CPUID.h b/src/kernel/HALKit/AMD64/CPUID.h
index c8d26a2f..fadf2da5 100644
--- a/src/kernel/HALKit/AMD64/CPUID.h
+++ b/src/kernel/HALKit/AMD64/CPUID.h
@@ -1,15 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-  File: CPUID.h
-  Purpose: CPUID flags.
-
-  Revision History:
-
-  30/01/24: Added file (amlel)
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #ifndef HALKIT_CPUID_H
 #define HALKIT_CPUID_H
diff --git a/src/kernel/HALKit/AMD64/CxxAbi.cc b/src/kernel/HALKit/AMD64/CxxAbi.cc
index 9049457b..f0f18266 100644
--- a/src/kernel/HALKit/AMD64/CxxAbi.cc
+++ b/src/kernel/HALKit/AMD64/CxxAbi.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/DebugOutput.h>
 #include <KernelKit/KPC.h>
diff --git a/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc b/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
index 83545df8..7368ea10 100644
--- a/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
+++ b/src/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc b/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
index 79013b26..b262f2b3 100644
--- a/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
+++ b/src/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <HALKit/AMD64/Processor.h>
 #include <modules/ACPI/ACPIFactoryInterface.h>
diff --git a/src/kernel/HALKit/AMD64/HalApplicationProcessor.cc b/src/kernel/HALKit/AMD64/HalApplicationProcessor.cc
index 9b352dcc..9286af57 100644
--- a/src/kernel/HALKit/AMD64/HalApplicationProcessor.cc
+++ b/src/kernel/HALKit/AMD64/HalApplicationProcessor.cc
@@ -1,10 +1,7 @@
-/* ========================================
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-/// Different than the MADT, might be confusing to some.
 #define APIC_MAG "APIC"
 
 #define APIC_ICR_LOW 0x300
diff --git a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
index 02931daf..c4209870 100644
--- a/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
+++ b/src/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/ProcessScheduler.h>
diff --git a/src/kernel/HALKit/AMD64/HalCoreSystemCalls.cc b/src/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
index f50e4abd..4e089de0 100644
--- a/src/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
+++ b/src/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-   Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-   ======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 
diff --git a/src/kernel/HALKit/AMD64/HalDebugOutput.cc b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
index 71e20ce6..dbddd092 100644
--- a/src/kernel/HALKit/AMD64/HalDebugOutput.cc
+++ b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/AMD64/HalDebugProtocol.cc b/src/kernel/HALKit/AMD64/HalDebugProtocol.cc
index 1adfff3e..e7a2881b 100644
--- a/src/kernel/HALKit/AMD64/HalDebugProtocol.cc
+++ b/src/kernel/HALKit/AMD64/HalDebugProtocol.cc
@@ -1,11 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-//! @file DebuggerPort.cc
-//! @brief UART debug via packets.
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/DebugOutput.h>
diff --git a/src/kernel/HALKit/AMD64/HalDescriptorLoader.cc b/src/kernel/HALKit/AMD64/HalDescriptorLoader.cc
index 65bf0b1e..e803f7a8 100644
--- a/src/kernel/HALKit/AMD64/HalDescriptorLoader.cc
+++ b/src/kernel/HALKit/AMD64/HalDescriptorLoader.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <FSKit/NeFS.h>
diff --git a/src/kernel/HALKit/AMD64/HalKernelMain.cc b/src/kernel/HALKit/AMD64/HalKernelMain.cc
index 3a30bb04..2e2cca44 100644
--- a/src/kernel/HALKit/AMD64/HalKernelMain.cc
+++ b/src/kernel/HALKit/AMD64/HalKernelMain.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <CFKit/Property.h>
diff --git a/src/kernel/HALKit/AMD64/HalKernelPanic.cc b/src/kernel/HALKit/AMD64/HalKernelPanic.cc
index 73121cbc..ed6a190b 100644
--- a/src/kernel/HALKit/AMD64/HalKernelPanic.cc
+++ b/src/kernel/HALKit/AMD64/HalKernelPanic.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <FirmwareKit/Handover.h>
diff --git a/src/kernel/HALKit/AMD64/HalPagingMgr.cc b/src/kernel/HALKit/AMD64/HalPagingMgr.cc
index 4043da96..52561b5c 100644
--- a/src/kernel/HALKit/AMD64/HalPagingMgr.cc
+++ b/src/kernel/HALKit/AMD64/HalPagingMgr.cc
@@ -1,11 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-  File: HalPagingMgr.cc
-  Purpose: Platform Paging Manager.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <HALKit/AMD64/Paging.h>
 #include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalProcessor.cc b/src/kernel/HALKit/AMD64/HalProcessor.cc
index cebf5e38..50c2ca53 100644
--- a/src/kernel/HALKit/AMD64/HalProcessor.cc
+++ b/src/kernel/HALKit/AMD64/HalProcessor.cc
@@ -1,11 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-  File: HalCPU.cc
-  Purpose: Platform processor routines.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <HALKit/AMD64/Paging.h>
 #include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc b/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
index f120bd39..3571d2af 100644
--- a/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
+++ b/src/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <HALKit/AMD64/Processor.h>
 #include <KernelKit/ProcessScheduler.h>
diff --git a/src/kernel/HALKit/AMD64/HalTimer.cc b/src/kernel/HALKit/AMD64/HalTimer.cc
index 8d5c0737..275c1ece 100644
--- a/src/kernel/HALKit/AMD64/HalTimer.cc
+++ b/src/kernel/HALKit/AMD64/HalTimer.cc
@@ -1,101 +1,92 @@
-/* ========================================

-

-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.

-

-  File: HalTimer.cc

-  Purpose: HAL timer

-

-  Revision History:

-

-  07/07/24: Added file (amlel)

-

-======================================== */

-

-#include <ArchKit/ArchKit.h>

-#include <KernelKit/Timer.h>

-#include <modules/ACPI/ACPIFactoryInterface.h>

-

-/// ================================================================================

-/// @note timer slot 0

-/// ================================================================================

-

-#define kHPETSignature ("HPET")

-

-#define kHPETCounterRegValue (0x00)

-#define kHPETConfigRegValue (0x20)

-#define kHPETCompRegValue (0x24)

-#define kHPETInterruptRegValue (0x2C)

-

-/// ================================================================================

-///! BUGS: 0

-///! @file HalTimer.cc

-///! @brief Hardware Timer (HPET)

-/// ================================================================================

-

-namespace Kernel::Detail {

-struct HPET_BLOCK : public Kernel::SDT {

-  Kernel::UInt8  hardware_rev_id;

-  Kernel::UInt8  comparator_count : 5;

-  Kernel::UInt8  counter_size : 1;

-  Kernel::UInt8  reserved : 1;

-  Kernel::UInt8  legacy_replacement : 1;

-  Kernel::UInt16 pci_vendor_id;

-  ACPI_ADDRESS   address;

-  Kernel::UInt8  hpet_number;

-  Kernel::UInt16 minimum_tick;

-  Kernel::UInt8  page_protection;

-} PACKED;

-}  // namespace Kernel::Detail

-

-using namespace Kernel;

-

-HardwareTimer::HardwareTimer(UInt64 ms) : fWaitFor(ms) {

-  auto power = PowerFactoryInterface(kHandoverHeader->f_HardwareTables.f_VendorPtr);

-

-  auto hpet = (Detail::HPET_BLOCK*) power.Find(kHPETSignature).Leak().Leak();

-  MUST_PASS(hpet);

-

-  fDigitalTimer = (UInt8*) hpet->address.Address;

-

-  if (hpet->page_protection) {

-    HAL::mm_map_page((VoidPtr) fDigitalTimer, (VoidPtr) fDigitalTimer,

-                     HAL::kMMFlagsWr | HAL::kMMFlagsPCD | HAL::kMMFlagsPwt);

-  }

-

-  // if not enabled yet.

-  if (!(*((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) & (1 << 0))) {

-    *((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) =

-        *((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) | (1 << 0) |

-        (1 << 3);  // enable timer & one shot conf

-  }

-}

-

-HardwareTimer::~HardwareTimer() {

-  fDigitalTimer = nullptr;

-  fWaitFor      = 0;

-}

-

-/***********************************************************************************/

-/// @brief Wait for the timer to stop spinning.

-/***********************************************************************************/

-

-BOOL HardwareTimer::Wait() {

-  if (fWaitFor < 1) return NO;

-  if (fWaitFor > 1'000'000) return NO;  // max 1000s = 16 minutes

-

-  UInt64 hpet_cap              = *((volatile UInt64*) (fDigitalTimer));

-  UInt64 femtoseconds_per_tick = (hpet_cap >> 32);

-

-  if (femtoseconds_per_tick == 0) return NO;

-

-  volatile UInt64* timer = (volatile UInt64*) (fDigitalTimer + kHPETCounterRegValue);

-

-  UInt64 now = *timer;

-

-  UInt64 fs_wait = fWaitFor * 1'000'000'000'000ULL;

-  UInt64 stop_at = now + (fs_wait / femtoseconds_per_tick);

-

-  while (*timer < (stop_at)) asm volatile("pause");

-

-  return YES;

-}

+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
+
+#include <ArchKit/ArchKit.h>
+#include <KernelKit/Timer.h>
+#include <modules/ACPI/ACPIFactoryInterface.h>
+
+/// ================================================================================
+/// @note timer slot 0
+/// ================================================================================
+
+#define kHPETSignature ("HPET")
+
+#define kHPETCounterRegValue (0x00)
+#define kHPETConfigRegValue (0x20)
+#define kHPETCompRegValue (0x24)
+#define kHPETInterruptRegValue (0x2C)
+
+/// ================================================================================
+///! BUGS: 0
+///! @file HalTimer.cc
+///! @brief Hardware Timer (HPET)
+/// ================================================================================
+
+namespace Kernel::Detail {
+struct HPET_BLOCK : public Kernel::SDT {
+  Kernel::UInt8  hardware_rev_id;
+  Kernel::UInt8  comparator_count : 5;
+  Kernel::UInt8  counter_size : 1;
+  Kernel::UInt8  reserved : 1;
+  Kernel::UInt8  legacy_replacement : 1;
+  Kernel::UInt16 pci_vendor_id;
+  ACPI_ADDRESS   address;
+  Kernel::UInt8  hpet_number;
+  Kernel::UInt16 minimum_tick;
+  Kernel::UInt8  page_protection;
+} PACKED;
+}  // namespace Kernel::Detail
+
+using namespace Kernel;
+
+HardwareTimer::HardwareTimer(UInt64 ms) : fWaitFor(ms) {
+  auto power = PowerFactoryInterface(kHandoverHeader->f_HardwareTables.f_VendorPtr);
+
+  auto hpet = (Detail::HPET_BLOCK*) power.Find(kHPETSignature).Leak().Leak();
+  MUST_PASS(hpet);
+
+  fDigitalTimer = (UInt8*) hpet->address.Address;
+
+  if (hpet->page_protection) {
+    HAL::mm_map_page((VoidPtr) fDigitalTimer, (VoidPtr) fDigitalTimer,
+                     HAL::kMMFlagsWr | HAL::kMMFlagsPCD | HAL::kMMFlagsPwt);
+  }
+
+  // if not enabled yet.
+  if (!(*((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) & (1 << 0))) {
+    *((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) =
+        *((volatile UInt64*) ((UInt8*) fDigitalTimer + kHPETConfigRegValue)) | (1 << 0) |
+        (1 << 3);  // enable timer & one shot conf
+  }
+}
+
+HardwareTimer::~HardwareTimer() {
+  fDigitalTimer = nullptr;
+  fWaitFor      = 0;
+}
+
+/***********************************************************************************/
+/// @brief Wait for the timer to stop spinning.
+/***********************************************************************************/
+
+BOOL HardwareTimer::Wait() {
+  if (fWaitFor < 1) return NO;
+  if (fWaitFor > 1'000'000) return NO;  // max 1000s = 16 minutes
+
+  UInt64 hpet_cap              = *((volatile UInt64*) (fDigitalTimer));
+  UInt64 femtoseconds_per_tick = (hpet_cap >> 32);
+
+  if (femtoseconds_per_tick == 0) return NO;
+
+  volatile UInt64* timer = (volatile UInt64*) (fDigitalTimer + kHPETCounterRegValue);
+
+  UInt64 now = *timer;
+
+  UInt64 fs_wait = fWaitFor * 1'000'000'000'000ULL;
+  UInt64 stop_at = now + (fs_wait / femtoseconds_per_tick);
+
+  while (*timer < (stop_at)) asm volatile("pause");
+
+  return YES;
+}
diff --git a/src/kernel/HALKit/AMD64/Hypervisor.h b/src/kernel/HALKit/AMD64/Hypervisor.h
index 70b2111a..6bb0b058 100644
--- a/src/kernel/HALKit/AMD64/Hypervisor.h
+++ b/src/kernel/HALKit/AMD64/Hypervisor.h
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #ifndef HALKIT_HYPERVISOR_H
 #define HALKIT_HYPERVISOR_H
diff --git a/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc b/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
index db839994..2f6cc6da 100644
--- a/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
+++ b/src/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <DmaKit/DmaPool.h>
 #include <HALKit/AMD64/Processor.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/DMA.cc b/src/kernel/HALKit/AMD64/PCI/DMA.cc
index dfbc1f68..73e5e401 100644
--- a/src/kernel/HALKit/AMD64/PCI/DMA.cc
+++ b/src/kernel/HALKit/AMD64/PCI/DMA.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/PCI/DMA.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Database.cc b/src/kernel/HALKit/AMD64/PCI/Database.cc
index ba3e946c..7eb098da 100644
--- a/src/kernel/HALKit/AMD64/PCI/Database.cc
+++ b/src/kernel/HALKit/AMD64/PCI/Database.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/PCI/Database.h>
 
diff --git a/src/kernel/HALKit/AMD64/PCI/Device.cc b/src/kernel/HALKit/AMD64/PCI/Device.cc
index 65af2f25..dcc16e6a 100644
--- a/src/kernel/HALKit/AMD64/PCI/Device.cc
+++ b/src/kernel/HALKit/AMD64/PCI/Device.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/PCI/Device.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Express.cc b/src/kernel/HALKit/AMD64/PCI/Express.cc
index 2b6ba8d3..e0264d9e 100644
--- a/src/kernel/HALKit/AMD64/PCI/Express.cc
+++ b/src/kernel/HALKit/AMD64/PCI/Express.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/PCI/Express.h>
 
diff --git a/src/kernel/HALKit/AMD64/PCI/IO.cc b/src/kernel/HALKit/AMD64/PCI/IO.cc
index 233c8ef2..8cc9c83a 100644
--- a/src/kernel/HALKit/AMD64/PCI/IO.cc
+++ b/src/kernel/HALKit/AMD64/PCI/IO.cc
@@ -1,7 +1,5 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/PCI/IO.h>
diff --git a/src/kernel/HALKit/AMD64/PCI/Iterator.cc b/src/kernel/HALKit/AMD64/PCI/Iterator.cc
index 103ddb2c..8216befa 100644
--- a/src/kernel/HALKit/AMD64/PCI/Iterator.cc
+++ b/src/kernel/HALKit/AMD64/PCI/Iterator.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/PCI/Iterator.h>
 
diff --git a/src/kernel/HALKit/AMD64/PCI/PCI.cc b/src/kernel/HALKit/AMD64/PCI/PCI.cc
index a8c48fb9..b8a1302d 100644
--- a/src/kernel/HALKit/AMD64/PCI/PCI.cc
+++ b/src/kernel/HALKit/AMD64/PCI/PCI.cc
@@ -1,7 +1,5 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <KernelKit/PCI/PCI.h>
diff --git a/src/kernel/HALKit/AMD64/Paging.h b/src/kernel/HALKit/AMD64/Paging.h
index 162e5fd3..41543f5d 100644
--- a/src/kernel/HALKit/AMD64/Paging.h
+++ b/src/kernel/HALKit/AMD64/Paging.h
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-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 352af95f..7501ec63 100644
--- a/src/kernel/HALKit/AMD64/Processor.h
+++ b/src/kernel/HALKit/AMD64/Processor.h
@@ -1,15 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-  File: Prcoessor.h
-  Purpose: AMD64 processor abstraction.
-
-  Revision History:
-
-  30/01/24: Added file (amlel)
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #ifndef HALKIT_PROCESSOR_H
 #define HALKIT_PROCESSOR_H
diff --git a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
index 561b03cb..28969475 100644
--- a/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
@@ -1,19 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-/**
- * @file AHCI+Generic.cc
- * @author Amlal El Mahrouss (amlal@nekernel.org)
- * @brief AHCI Generic driver.
- * @version 0.1
- * @date 2024-02-02
- *
- * @copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
- *
- */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <DmaKit/DmaPool.h>
 #include <FirmwareKit/EPM.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cc b/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
index 5a51d685..8bf7b161 100644
--- a/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
@@ -1,19 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-/**
- * @file DMA+Generic.cc
- * @author Amlal El Mahrouss (amlal@nekernel.org)
- * @brief ATA driver (DMA mode).
- * @version 0.1
- * @date 2024-02-02
- *
- * @copyright Copyright (c) Amlal El Mahrouss
- *
- */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/PCI/Iterator.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cc b/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
index 88f95a86..7b0726e7 100644
--- a/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <modules/NVME/NVME.h>
 
diff --git a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
index a62884f9..19497b5f 100644
--- a/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
@@ -1,19 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-/**
- * @file PIO+Generic.cc
- * @author Amlal El Mahrouss (amlal@nekernel.org)
- * @brief ATA driver (PIO mode).
- * @version 0.1
- * @date 2024-02-02
- *
- * @copyright Copyright (c) Amlal El Mahrouss
- *
- */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <ArchKit/ArchKit.h>
 #include <KernelKit/DriveMgr.h>
diff --git a/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc b/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
index 0200ec5a..f73946d7 100644
--- a/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
+++ b/src/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
@@ -1,8 +1,6 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
+// Copyright 2024-2025, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
 
 #include <modules/SCSI/SCSI.h>