17 files changed, 210 insertions, 257 deletions
diff --git a/src/kernel/HALKit/ARM64/APM/APM+IO.cc b/src/kernel/HALKit/ARM64/APM/APM+IO.cc
index c4d0154b..91b8255e 100644
--- a/src/kernel/HALKit/ARM64/APM/APM+IO.cc
+++ b/src/kernel/HALKit/ARM64/APM/APM+IO.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/KPC.h>
 #include <modules/APM/APM.h>
diff --git a/src/kernel/HALKit/ARM64/ApplicationProcessor.h b/src/kernel/HALKit/ARM64/ApplicationProcessor.h
index 2ce60dd1..11903786 100644
--- a/src/kernel/HALKit/ARM64/ApplicationProcessor.h
+++ b/src/kernel/HALKit/ARM64/ApplicationProcessor.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_APPLICATIONPROCESSOR_H
 #define HALKIT_APPLICATIONPROCESSOR_H
diff --git a/src/kernel/HALKit/ARM64/CxxAbi.cc b/src/kernel/HALKit/ARM64/CxxAbi.cc
index 7b4eca20..7b19aa71 100644
--- a/src/kernel/HALKit/ARM64/CxxAbi.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/HalACPIFactoryInterface.cc b/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc
index 9a8661cd..544d1ee1 100644
--- a/src/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc
+++ b/src/kernel/HALKit/ARM64/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 <KernelKit/HeapMgr.h>
diff --git a/src/kernel/HALKit/ARM64/HalApplicationProcessor.cc b/src/kernel/HALKit/ARM64/HalApplicationProcessor.cc
index fff4282f..33921a56 100644
--- a/src/kernel/HALKit/ARM64/HalApplicationProcessor.cc
+++ b/src/kernel/HALKit/ARM64/HalApplicationProcessor.cc
@@ -1,140 +1,138 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-#define GICD_BASE 0x08000000
-#define GICC_BASE 0x08010000
-
-#define GICD_CTLR 0x000
-#define GICD_ISENABLER 0x100
-#define GICD_ICENABLER 0x180
-#define GICD_ISPENDR 0x200
-#define GICD_ICPENDR 0x280
-#define GICD_IPRIORITYR 0x400
-#define GICD_ITARGETSR 0x800
-#define GICD_ICFGR 0xC00
-
-#define GICC_CTLR 0x000
-#define GICC_PMR 0x004
-#define GICC_IAR 0x00C
-#define GICC_EOIR 0x010
-
-#include <HALKit/ARM64/ApplicationProcessor.h>
-#include <HALKit/ARM64/Processor.h>
-#include <KernelKit/DebugOutput.h>
-#include <KernelKit/HardwareThreadScheduler.h>
-#include <KernelKit/ProcessScheduler.h>
-#include <KernelKit/Timer.h>
-
-// ================================================================= //
-
-namespace Kernel {
-struct HAL_HARDWARE_THREAD final {
-  HAL::StackFramePtr mFramePtr;
-  ProcessID          mThreadID{0};
-};
-
-STATIC HAL_HARDWARE_THREAD kHWThread[kMaxAPInsideSched] = {{nullptr}};
-
-namespace Detail {
-  STATIC BOOL kGICEnabled = NO;
-
-  /***********************************************************************************/
-  /// @brief Enables the GIC with EL0 configuration.
-  /// @internal
-  /***********************************************************************************/
-  STATIC Void mp_setup_gic_el0(Void) {
-    ke_dma_write<UInt32>(GICD_BASE, GICD_CTLR, YES);
-
-    UInt32 gicc_ctlr = ke_dma_read<UInt32>(GICC_BASE, GICC_CTLR);
-
-    const UInt8 kEnableSignalInt = 0x1;
-
-    gicc_ctlr |= kEnableSignalInt;
-    gicc_ctlr |= (kEnableSignalInt << 0x1);
-
-    ke_dma_write<UInt32>(GICC_BASE, GICC_CTLR, gicc_ctlr);
-
-    ke_dma_write<UInt32>(GICC_BASE, GICC_PMR, 0xFF);
-
-    UInt32 icfgr = ke_dma_read<UInt32>(GICD_BASE, GICD_ICFGR + (0x20 / 0x10) * 4);
-
-    icfgr |= (0x2 << ((32 % 16) * 2));
-
-    ke_dma_write<UInt32>(GICD_BASE, GICD_ICFGR + (0x20 / 0x10) * 4, icfgr);
-    ke_dma_write<UInt32>(GICD_BASE, GICD_ITARGETSR + (0x20 / 0x04) * 4, 0x2 << ((32 % 4) * 8));
-    ke_dma_write<UInt32>(GICD_BASE, GICD_IPRIORITYR + (0x20 / 0x04) * 4, 0xFF << ((32 % 4) * 8));
-    ke_dma_write<UInt32>(GICD_BASE, GICD_ISENABLER + 4, 0x01);
-  }
-
-  EXTERN_C BOOL mp_handle_gic_interrupt_el0(Void) {
-    UInt32 interrupt_id = ke_dma_read<UInt32>(GICC_BASE, GICC_IAR);
-
-    if ((interrupt_id & 0x3FF) < 1020) {
-      auto interrupt = interrupt_id & 0x3FF;
-
-      const UInt16 kInterruptScheduler = 0x20;
-
-      (Void)(kout << "SMP: AP: " << hex_number(interrupt) << kendl);
-
-      switch (interrupt) {
-        case kInterruptScheduler: {
-          ke_dma_write<UInt32>(GICC_BASE, GICC_EOIR, interrupt_id);
-          UserProcessHelper::StartScheduling();
-          break;
-        }
-        default: {
-          ke_dma_write<UInt32>(GICC_BASE, GICC_EOIR, interrupt_id);
-          break;
-        }
-      }
-
-      return YES;
-    }
-
-    return NO;
-  }
-}  // namespace Detail
-
-/***********************************************************************************/
-/// @brief Get current stack frame for a thread.
-/// @param thrdid The thread ID.
-/***********************************************************************************/
-
-EXTERN_C HAL::StackFramePtr mp_get_current_task(ProcessID thrdid) {
-  return kHWThread[thrdid].mFramePtr;
-}
-
-/***********************************************************************************/
-/// @brief Register current stack frame for a thread.
-/// @param stack_frame The current stack frame.
-/// @param thrdid The thread ID.
-/***********************************************************************************/
-
-EXTERN_C Bool mp_register_task(HAL::StackFramePtr stack_frame, ProcessID thrdid) {
-  MUST_PASS(Detail::kGICEnabled);
-
-  if (!stack_frame) return NO;
-  if (thrdid > kMaxAPInsideSched) return NO;
-
-  const auto process_index = thrdid;
-
-  kHWThread[process_index].mFramePtr = stack_frame;
-  kHWThread[process_index].mThreadID = thrdid;
-
-  return YES;
-}
-
-/***********************************************************************************/
-/// @brief Initialize the Global Interrupt Controller.
-/// @internal
-/***********************************************************************************/
-Void mp_init_cores(Void) {
-  if (!Detail::kGICEnabled) {
-    Detail::kGICEnabled = YES;
-    Detail::mp_setup_gic_el0();
-  }
-}
+// 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
+
+#define GICD_BASE 0x08000000
+#define GICC_BASE 0x08010000
+
+#define GICD_CTLR 0x000
+#define GICD_ISENABLER 0x100
+#define GICD_ICENABLER 0x180
+#define GICD_ISPENDR 0x200
+#define GICD_ICPENDR 0x280
+#define GICD_IPRIORITYR 0x400
+#define GICD_ITARGETSR 0x800
+#define GICD_ICFGR 0xC00
+
+#define GICC_CTLR 0x000
+#define GICC_PMR 0x004
+#define GICC_IAR 0x00C
+#define GICC_EOIR 0x010
+
+#include <HALKit/ARM64/ApplicationProcessor.h>
+#include <HALKit/ARM64/Processor.h>
+#include <KernelKit/DebugOutput.h>
+#include <KernelKit/HardwareThreadScheduler.h>
+#include <KernelKit/ProcessScheduler.h>
+#include <KernelKit/Timer.h>
+
+// ================================================================= //
+
+namespace Kernel {
+struct HAL_HARDWARE_THREAD final {
+  HAL::StackFramePtr mFramePtr;
+  ProcessID          mThreadID{0};
+};
+
+STATIC HAL_HARDWARE_THREAD kHWThread[kMaxAPInsideSched] = {{nullptr}};
+
+namespace Detail {
+  STATIC BOOL kGICEnabled = NO;
+
+  /***********************************************************************************/
+  /// @brief Enables the GIC with EL0 configuration.
+  /// @internal
+  /***********************************************************************************/
+  STATIC Void mp_setup_gic_el0(Void) {
+    ke_dma_write<UInt32>(GICD_BASE, GICD_CTLR, YES);
+
+    UInt32 gicc_ctlr = ke_dma_read<UInt32>(GICC_BASE, GICC_CTLR);
+
+    const UInt8 kEnableSignalInt = 0x1;
+
+    gicc_ctlr |= kEnableSignalInt;
+    gicc_ctlr |= (kEnableSignalInt << 0x1);
+
+    ke_dma_write<UInt32>(GICC_BASE, GICC_CTLR, gicc_ctlr);
+
+    ke_dma_write<UInt32>(GICC_BASE, GICC_PMR, 0xFF);
+
+    UInt32 icfgr = ke_dma_read<UInt32>(GICD_BASE, GICD_ICFGR + (0x20 / 0x10) * 4);
+
+    icfgr |= (0x2 << ((32 % 16) * 2));
+
+    ke_dma_write<UInt32>(GICD_BASE, GICD_ICFGR + (0x20 / 0x10) * 4, icfgr);
+    ke_dma_write<UInt32>(GICD_BASE, GICD_ITARGETSR + (0x20 / 0x04) * 4, 0x2 << ((32 % 4) * 8));
+    ke_dma_write<UInt32>(GICD_BASE, GICD_IPRIORITYR + (0x20 / 0x04) * 4, 0xFF << ((32 % 4) * 8));
+    ke_dma_write<UInt32>(GICD_BASE, GICD_ISENABLER + 4, 0x01);
+  }
+
+  EXTERN_C BOOL mp_handle_gic_interrupt_el0(Void) {
+    UInt32 interrupt_id = ke_dma_read<UInt32>(GICC_BASE, GICC_IAR);
+
+    if ((interrupt_id & 0x3FF) < 1020) {
+      auto interrupt = interrupt_id & 0x3FF;
+
+      const UInt16 kInterruptScheduler = 0x20;
+
+      (Void)(kout << "SMP: AP: " << hex_number(interrupt) << kendl);
+
+      switch (interrupt) {
+        case kInterruptScheduler: {
+          ke_dma_write<UInt32>(GICC_BASE, GICC_EOIR, interrupt_id);
+          UserProcessHelper::StartScheduling();
+          break;
+        }
+        default: {
+          ke_dma_write<UInt32>(GICC_BASE, GICC_EOIR, interrupt_id);
+          break;
+        }
+      }
+
+      return YES;
+    }
+
+    return NO;
+  }
+}  // namespace Detail
+
+/***********************************************************************************/
+/// @brief Get current stack frame for a thread.
+/// @param thrdid The thread ID.
+/***********************************************************************************/
+
+EXTERN_C HAL::StackFramePtr mp_get_current_task(ProcessID thrdid) {
+  return kHWThread[thrdid].mFramePtr;
+}
+
+/***********************************************************************************/
+/// @brief Register current stack frame for a thread.
+/// @param stack_frame The current stack frame.
+/// @param thrdid The thread ID.
+/***********************************************************************************/
+
+EXTERN_C Bool mp_register_task(HAL::StackFramePtr stack_frame, ProcessID thrdid) {
+  MUST_PASS(Detail::kGICEnabled);
+
+  if (!stack_frame) return NO;
+  if (thrdid > kMaxAPInsideSched) return NO;
+
+  const auto process_index = thrdid;
+
+  kHWThread[process_index].mFramePtr = stack_frame;
+  kHWThread[process_index].mThreadID = thrdid;
+
+  return YES;
+}
+
+/***********************************************************************************/
+/// @brief Initialize the Global Interrupt Controller.
+/// @internal
+/***********************************************************************************/
+Void mp_init_cores(Void) {
+  if (!Detail::kGICEnabled) {
+    Detail::kGICEnabled = YES;
+    Detail::mp_setup_gic_el0();
+  }
+}
 }  // namespace Kernel
 \ No newline at end of file
diff --git a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc b/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
index a9bbb044..bb735ffb 100644
--- a/src/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/HalDebugOutput.cc b/src/kernel/HALKit/ARM64/HalDebugOutput.cc
index 2a49bb56..4e47d38e 100644
--- a/src/kernel/HALKit/ARM64/HalDebugOutput.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/HalKernelMain.cc b/src/kernel/HALKit/ARM64/HalKernelMain.cc
index 1cd10838..3a6e4085 100644
--- a/src/kernel/HALKit/ARM64/HalKernelMain.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/HalKernelPanic.cc b/src/kernel/HALKit/ARM64/HalKernelPanic.cc
index 6c3afe83..59397611 100644
--- a/src/kernel/HALKit/ARM64/HalKernelPanic.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/HalPagingMgr.cc b/src/kernel/HALKit/ARM64/HalPagingMgr.cc
index d597ccce..0fe4d759 100644
--- a/src/kernel/HALKit/ARM64/HalPagingMgr.cc
+++ b/src/kernel/HALKit/ARM64/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/ARM64/Paging.h>
 #include <HALKit/ARM64/Processor.h>
diff --git a/src/kernel/HALKit/ARM64/HalSchedulerCore.cc b/src/kernel/HALKit/ARM64/HalSchedulerCore.cc
index 467547b0..ecf666e8 100644
--- a/src/kernel/HALKit/ARM64/HalSchedulerCore.cc
+++ b/src/kernel/HALKit/ARM64/HalSchedulerCore.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/ProcessScheduler.h>
 
diff --git a/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc b/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
index 87fa1ab6..960dbc6d 100644
--- a/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
+++ b/src/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
@@ -1,30 +1,28 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-#include <HALKit/ARM64/Processor.h>
-#include <KernelKit/ProcessScheduler.h>
-
-namespace Kernel {
-/***********************************************************************************/
-/// @brief Unimplemented function (crashes by default)
-/// @param process The process handle.
-/***********************************************************************************/
-
-EXTERN_C Void __ne_pure_call(UserProcess* process) {
-  if (process) process->Crash();
-}
-
-/***********************************************************************************/
-/// @brief Validate user stack.
-/// @param stack_ptr the frame pointer.
-/***********************************************************************************/
-
-EXTERN_C Bool hal_check_task(HAL::StackFramePtr stack_ptr) {
-  if (!stack_ptr) return No;
-
-  return stack_ptr->SP != 0 && stack_ptr->IP != 0;
-}
-}  // namespace Kernel
+// 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/ARM64/Processor.h>
+#include <KernelKit/ProcessScheduler.h>
+
+namespace Kernel {
+/***********************************************************************************/
+/// @brief Unimplemented function (crashes by default)
+/// @param process The process handle.
+/***********************************************************************************/
+
+EXTERN_C Void __ne_pure_call(UserProcess* process) {
+  if (process) process->Crash();
+}
+
+/***********************************************************************************/
+/// @brief Validate user stack.
+/// @param stack_ptr the frame pointer.
+/***********************************************************************************/
+
+EXTERN_C Bool hal_check_task(HAL::StackFramePtr stack_ptr) {
+  if (!stack_ptr) return No;
+
+  return stack_ptr->SP != 0 && stack_ptr->IP != 0;
+}
+}  // namespace Kernel
diff --git a/src/kernel/HALKit/ARM64/HalTimer.cc b/src/kernel/HALKit/ARM64/HalTimer.cc
index 2f524a1b..3084838d 100644
--- a/src/kernel/HALKit/ARM64/HalTimer.cc
+++ b/src/kernel/HALKit/ARM64/HalTimer.cc
@@ -1,15 +1,6 @@
-/* ========================================
-
-  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)
-
-======================================== */
+// 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>
 \ No newline at end of file
diff --git a/src/kernel/HALKit/ARM64/Paging.h b/src/kernel/HALKit/ARM64/Paging.h
index 7526b640..8dedf65f 100644
--- a/src/kernel/HALKit/ARM64/Paging.h
+++ b/src/kernel/HALKit/ARM64/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/ARM64/Processor.h b/src/kernel/HALKit/ARM64/Processor.h
index f4df9a92..ca69fc19 100644
--- a/src/kernel/HALKit/ARM64/Processor.h
+++ b/src/kernel/HALKit/ARM64/Processor.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_PROCESSOR_H
 #define HALKIT_PROCESSOR_H
diff --git a/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc b/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc
index 0200ec5a..f73946d7 100644
--- a/src/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc
+++ b/src/kernel/HALKit/ARM64/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>
 
diff --git a/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cc b/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
index 9971b2a8..ba8d285b 100644
--- a/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
+++ b/src/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
@@ -1,8 +1,3 @@
-/* ========================================
-
-  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-
-======================================== */
-
-/// @file UFS.cc
-/// @brief UFS Flash Memory support.
+// 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