summaryrefslogtreecommitdiffhomepage
path: root/dev/kernel/HALKit
diff options
context:
space:
mode:
Diffstat (limited to 'dev/kernel/HALKit')
-rw-r--r--dev/kernel/HALKit/AMD64/CPUID.h4
-rw-r--r--dev/kernel/HALKit/AMD64/CxxAbi.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalControlRegisterAPI.s4
-rw-r--r--dev/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalCoreSystemCalls.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalDebugOutput.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalDebugProtocol.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalDescriptorLoader.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalKernelMain.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalKernelPanic.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalPagingMgr.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalProcessor.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/HalTimer.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/Hypervisor.h4
-rw-r--r--dev/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/DMA.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/Database.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/Device.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/Express.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/IO.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/Iterator.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/PCI/PCI.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/Paging.h6
-rw-r--r--dev/kernel/HALKit/AMD64/Processor.h4
-rw-r--r--dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc13
-rw-r--r--dev/kernel/HALKit/AMD64/Storage/DMA+Generic.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/Storage/NVME+Generic.cc4
-rw-r--r--dev/kernel/HALKit/AMD64/Storage/PIO+Generic.cc10
-rw-r--r--dev/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/APM/APM+IO.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/ApplicationProcessor.h4
-rw-r--r--dev/kernel/HALKit/ARM64/CxxAbi.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalDebugOutput.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalKernelMain.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalKernelPanic.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalPagingMgr.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalSchedulerCore.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/HalTimer.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/Paging.h6
-rw-r--r--dev/kernel/HALKit/ARM64/Processor.h4
-rw-r--r--dev/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc4
-rw-r--r--dev/kernel/HALKit/ARM64/Storage/UFS+Generic.cc4
-rw-r--r--dev/kernel/HALKit/POWER/AP.h4
-rw-r--r--dev/kernel/HALKit/POWER/HalApplicationProcessor.cc4
-rw-r--r--dev/kernel/HALKit/POWER/HalDebugOutput.cc4
-rw-r--r--dev/kernel/HALKit/POWER/HalHardwareThread.cc4
-rw-r--r--dev/kernel/HALKit/POWER/HalStartSequence.s4
-rw-r--r--dev/kernel/HALKit/POWER/HalVirtualMemory.cc4
-rw-r--r--dev/kernel/HALKit/POWER/Processor.h4
-rw-r--r--dev/kernel/HALKit/RISCV/AP.h4
-rw-r--r--dev/kernel/HALKit/RISCV/HalApplicationProcessor.cc4
59 files changed, 126 insertions, 129 deletions
diff --git a/dev/kernel/HALKit/AMD64/CPUID.h b/dev/kernel/HALKit/AMD64/CPUID.h
index 19f6ba42..0ab95c07 100644
--- a/dev/kernel/HALKit/AMD64/CPUID.h
+++ b/dev/kernel/HALKit/AMD64/CPUID.h
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
30/01/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/AMD64/CxxAbi.cc b/dev/kernel/HALKit/AMD64/CxxAbi.cc
index e10c081e..9049457b 100644
--- a/dev/kernel/HALKit/AMD64/CxxAbi.cc
+++ b/dev/kernel/HALKit/AMD64/CxxAbi.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/DebugOutput.h>
#include <KernelKit/KPC.h>
diff --git a/dev/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc b/dev/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
index 17c314fc..83545df8 100644
--- a/dev/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
+++ b/dev/kernel/HALKit/AMD64/HalACPIFactoryInterface.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/dev/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc b/dev/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
index f7fe87e0..36a027a2 100644
--- a/dev/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
+++ b/dev/kernel/HALKit/AMD64/HalAPICDmaWrapper.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/AMD64/Processor.h>
#include <modules/ACPI/ACPIFactoryInterface.h>
diff --git a/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc b/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
index d3ce679f..8957ca8f 100644
--- a/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/AMD64/HalApplicationProcessor.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
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"
diff --git a/dev/kernel/HALKit/AMD64/HalControlRegisterAPI.s b/dev/kernel/HALKit/AMD64/HalControlRegisterAPI.s
index b832aba6..90fdeb81 100644
--- a/dev/kernel/HALKit/AMD64/HalControlRegisterAPI.s
+++ b/dev/kernel/HALKit/AMD64/HalControlRegisterAPI.s
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
.globl hal_write_cr3
.globl hal_write_cr0
diff --git a/dev/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc b/dev/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
index 5ad4acde..f19e49b5 100644
--- a/dev/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
+++ b/dev/kernel/HALKit/AMD64/HalCoreInterruptHandler.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/dev/kernel/HALKit/AMD64/HalCoreSystemCalls.cc b/dev/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
index 0fda022e..f50e4abd 100644
--- a/dev/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
+++ b/dev/kernel/HALKit/AMD64/HalCoreSystemCalls.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
- ------------------------------------------- */
+ ======================================== */
#include <ArchKit/ArchKit.h>
diff --git a/dev/kernel/HALKit/AMD64/HalDebugOutput.cc b/dev/kernel/HALKit/AMD64/HalDebugOutput.cc
index 44db0d05..8e5f4cbd 100644
--- a/dev/kernel/HALKit/AMD64/HalDebugOutput.cc
+++ b/dev/kernel/HALKit/AMD64/HalDebugOutput.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/DebugOutput.h>
diff --git a/dev/kernel/HALKit/AMD64/HalDebugProtocol.cc b/dev/kernel/HALKit/AMD64/HalDebugProtocol.cc
index d849be07..1adfff3e 100644
--- a/dev/kernel/HALKit/AMD64/HalDebugProtocol.cc
+++ b/dev/kernel/HALKit/AMD64/HalDebugProtocol.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
//! @file DebuggerPort.cc
//! @brief UART debug via packets.
diff --git a/dev/kernel/HALKit/AMD64/HalDescriptorLoader.cc b/dev/kernel/HALKit/AMD64/HalDescriptorLoader.cc
index dfa08287..65bf0b1e 100644
--- a/dev/kernel/HALKit/AMD64/HalDescriptorLoader.cc
+++ b/dev/kernel/HALKit/AMD64/HalDescriptorLoader.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <FSKit/NeFS.h>
diff --git a/dev/kernel/HALKit/AMD64/HalKernelMain.cc b/dev/kernel/HALKit/AMD64/HalKernelMain.cc
index 051e3cc3..bd7c207d 100644
--- a/dev/kernel/HALKit/AMD64/HalKernelMain.cc
+++ b/dev/kernel/HALKit/AMD64/HalKernelMain.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <CFKit/Property.h>
diff --git a/dev/kernel/HALKit/AMD64/HalKernelPanic.cc b/dev/kernel/HALKit/AMD64/HalKernelPanic.cc
index 39d55b43..12538667 100644
--- a/dev/kernel/HALKit/AMD64/HalKernelPanic.cc
+++ b/dev/kernel/HALKit/AMD64/HalKernelPanic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <FirmwareKit/Handover.h>
diff --git a/dev/kernel/HALKit/AMD64/HalPagingMgr.cc b/dev/kernel/HALKit/AMD64/HalPagingMgr.cc
index 0a70113f..4043da96 100644
--- a/dev/kernel/HALKit/AMD64/HalPagingMgr.cc
+++ b/dev/kernel/HALKit/AMD64/HalPagingMgr.cc
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
File: HalPagingMgr.cc
Purpose: Platform Paging Manager.
-------------------------------------------- */
+======================================== */
#include <HALKit/AMD64/Paging.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/dev/kernel/HALKit/AMD64/HalProcessor.cc b/dev/kernel/HALKit/AMD64/HalProcessor.cc
index c27111e2..d202a758 100644
--- a/dev/kernel/HALKit/AMD64/HalProcessor.cc
+++ b/dev/kernel/HALKit/AMD64/HalProcessor.cc
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
File: HalCPU.cc
Purpose: Platform processor routines.
-------------------------------------------- */
+======================================== */
#include <HALKit/AMD64/Paging.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/dev/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc b/dev/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
index ea643662..44ec2a37 100644
--- a/dev/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
+++ b/dev/kernel/HALKit/AMD64/HalSchedulerCorePrimitives.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/AMD64/Processor.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/dev/kernel/HALKit/AMD64/HalTimer.cc b/dev/kernel/HALKit/AMD64/HalTimer.cc
index b605df6c..1f500ac9 100644
--- a/dev/kernel/HALKit/AMD64/HalTimer.cc
+++ b/dev/kernel/HALKit/AMD64/HalTimer.cc
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
07/07/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/Timer.h>
diff --git a/dev/kernel/HALKit/AMD64/Hypervisor.h b/dev/kernel/HALKit/AMD64/Hypervisor.h
index 4294b00a..4cacb003 100644
--- a/dev/kernel/HALKit/AMD64/Hypervisor.h
+++ b/dev/kernel/HALKit/AMD64/Hypervisor.h
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc b/dev/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
index 1c7f554e..f9865139 100644
--- a/dev/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
+++ b/dev/kernel/HALKit/AMD64/Network/Generic+Basic+RTL8139.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <DmaKit/DmaPool.h>
#include <HALKit/AMD64/Processor.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/DMA.cc b/dev/kernel/HALKit/AMD64/PCI/DMA.cc
index adb3124e..809494b6 100644
--- a/dev/kernel/HALKit/AMD64/PCI/DMA.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/DMA.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/PCI/DMA.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/Database.cc b/dev/kernel/HALKit/AMD64/PCI/Database.cc
index 056aa109..ba3e946c 100644
--- a/dev/kernel/HALKit/AMD64/PCI/Database.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/Database.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/PCI/Database.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/Device.cc b/dev/kernel/HALKit/AMD64/PCI/Device.cc
index 63acb790..65af2f25 100644
--- a/dev/kernel/HALKit/AMD64/PCI/Device.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/Device.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/PCI/Device.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/Express.cc b/dev/kernel/HALKit/AMD64/PCI/Express.cc
index 4153e1ef..2b6ba8d3 100644
--- a/dev/kernel/HALKit/AMD64/PCI/Express.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/Express.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/PCI/Express.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/IO.cc b/dev/kernel/HALKit/AMD64/PCI/IO.cc
index c0faf1a7..233c8ef2 100644
--- a/dev/kernel/HALKit/AMD64/PCI/IO.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/IO.cc
@@ -1,7 +1,7 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/PCI/IO.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/Iterator.cc b/dev/kernel/HALKit/AMD64/PCI/Iterator.cc
index 88bbce3f..103ddb2c 100644
--- a/dev/kernel/HALKit/AMD64/PCI/Iterator.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/Iterator.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/PCI/Iterator.h>
diff --git a/dev/kernel/HALKit/AMD64/PCI/PCI.cc b/dev/kernel/HALKit/AMD64/PCI/PCI.cc
index 31a9711c..a8c48fb9 100644
--- a/dev/kernel/HALKit/AMD64/PCI/PCI.cc
+++ b/dev/kernel/HALKit/AMD64/PCI/PCI.cc
@@ -1,7 +1,7 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/PCI/PCI.h>
diff --git a/dev/kernel/HALKit/AMD64/Paging.h b/dev/kernel/HALKit/AMD64/Paging.h
index e0ff5a0e..a938700e 100644
--- a/dev/kernel/HALKit/AMD64/Paging.h
+++ b/dev/kernel/HALKit/AMD64/Paging.h
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#pragma once
@@ -12,7 +12,7 @@
* THIS FILE CONTAINS CODE FOR X86_64 PAGING.
-------------------------------------------------------- */
+------------======================================== */
#include <NeKit/Defines.h>
diff --git a/dev/kernel/HALKit/AMD64/Processor.h b/dev/kernel/HALKit/AMD64/Processor.h
index c2af8575..db1ed573 100644
--- a/dev/kernel/HALKit/AMD64/Processor.h
+++ b/dev/kernel/HALKit/AMD64/Processor.h
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
30/01/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
index 821d80bb..14b40b98 100644
--- a/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/AHCI+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
/**
* @file AHCI+Generic.cc
@@ -294,7 +294,8 @@ STATIC Void drv_std_input_output_ahci(UInt64 lba, UInt8* buffer, SizeT sector_sz
goto ahci_io_end;
} else {
kout << "ahci: Disk still busy after command completion!\r";
- while (kSATAHba->Ports[kSATAIndex].Tfd & (kSATASRBsy | kSATASRDrq));
+ while (kSATAHba->Ports[kSATAIndex].Tfd & (kSATASRBsy | kSATASRDrq))
+ ;
}
ahci_io_end:
@@ -307,15 +308,13 @@ STATIC Void drv_std_input_output_ahci(UInt64 lba, UInt8* buffer, SizeT sector_sz
@brief Gets the number of sectors inside the drive.
@return Sector size in bytes.
*/
-STATIC ATTRIBUTE(unused)
-SizeT drv_get_sector_count_ahci() {
+STATIC ATTRIBUTE(unused) SizeT drv_get_sector_count_ahci() {
return kSATASectorCount;
}
/// @brief Get the drive size.
/// @return Disk size in bytes.
-STATIC ATTRIBUTE(unused)
-SizeT drv_get_size_ahci() {
+STATIC ATTRIBUTE(unused) SizeT drv_get_size_ahci() {
return drv_std_get_sector_count() * kAHCISectorSize;
}
diff --git a/dev/kernel/HALKit/AMD64/Storage/DMA+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
index 95355e9f..cf6147d9 100644
--- a/dev/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/DMA+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
/**
* @file DMA+Generic.cc
diff --git a/dev/kernel/HALKit/AMD64/Storage/NVME+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
index 9e5f766f..88f95a86 100644
--- a/dev/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/NVME+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <modules/NVME/NVME.h>
diff --git a/dev/kernel/HALKit/AMD64/Storage/PIO+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
index dc5149da..0516be39 100644
--- a/dev/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/PIO+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
/**
* @file PIO+Generic.cc
@@ -200,8 +200,7 @@ namespace Detail {
/// @brief Read PIO device.
/// @param self device
/// @param mnt mounted disk.
- STATIC Void sk_io_read_pio(DeviceInterface<IMountpoint*>* self,
- IMountpoint* mnt) {
+ STATIC Void sk_io_read_pio(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
ATADeviceInterface* dev = (ATADeviceInterface*) self;
err_global_get() = kErrorDisk;
@@ -222,8 +221,7 @@ namespace Detail {
/// @brief Write PIO device.
/// @param self device
/// @param mnt mounted disk.
- STATIC Void sk_io_write_pio(DeviceInterface<IMountpoint*>* self,
- IMountpoint* mnt) {
+ STATIC Void sk_io_write_pio(DeviceInterface<IMountpoint*>* self, IMountpoint* mnt) {
ATADeviceInterface* dev = (ATADeviceInterface*) self;
err_global_get() = kErrorDisk;
diff --git a/dev/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc b/dev/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
index f677b783..0200ec5a 100644
--- a/dev/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
+++ b/dev/kernel/HALKit/AMD64/Storage/SCSI+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <modules/SCSI/SCSI.h>
diff --git a/dev/kernel/HALKit/ARM64/APM/APM+IO.cc b/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
index 8960eb63..c4d0154b 100644
--- a/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
+++ b/dev/kernel/HALKit/ARM64/APM/APM+IO.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/KPC.h>
#include <modules/APM/APM.h>
diff --git a/dev/kernel/HALKit/ARM64/ApplicationProcessor.h b/dev/kernel/HALKit/ARM64/ApplicationProcessor.h
index 3712ec39..208bf82e 100644
--- a/dev/kernel/HALKit/ARM64/ApplicationProcessor.h
+++ b/dev/kernel/HALKit/ARM64/ApplicationProcessor.h
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/ARM64/CxxAbi.cc b/dev/kernel/HALKit/ARM64/CxxAbi.cc
index 5a6a987d..7b4eca20 100644
--- a/dev/kernel/HALKit/ARM64/CxxAbi.cc
+++ b/dev/kernel/HALKit/ARM64/CxxAbi.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/DebugOutput.h>
#include <KernelKit/KPC.h>
diff --git a/dev/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc b/dev/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc
index ffb09795..9a8661cd 100644
--- a/dev/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc
+++ b/dev/kernel/HALKit/ARM64/HalACPIFactoryInterface.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/HeapMgr.h>
diff --git a/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc b/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
index 16f3c78c..2a3c73e5 100644
--- a/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/ARM64/HalApplicationProcessor.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#define GICD_BASE 0x08000000
#define GICC_BASE 0x08010000
diff --git a/dev/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc b/dev/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
index 9d4b97c2..b89f68bd 100644
--- a/dev/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
+++ b/dev/kernel/HALKit/ARM64/HalCoreInterruptHandler.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/dev/kernel/HALKit/ARM64/HalDebugOutput.cc b/dev/kernel/HALKit/ARM64/HalDebugOutput.cc
index 326fd8a6..c0da9c3a 100644
--- a/dev/kernel/HALKit/ARM64/HalDebugOutput.cc
+++ b/dev/kernel/HALKit/ARM64/HalDebugOutput.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/DebugOutput.h>
diff --git a/dev/kernel/HALKit/ARM64/HalKernelMain.cc b/dev/kernel/HALKit/ARM64/HalKernelMain.cc
index e19f0452..e36535c3 100644
--- a/dev/kernel/HALKit/ARM64/HalKernelMain.cc
+++ b/dev/kernel/HALKit/ARM64/HalKernelMain.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <CFKit/Property.h>
diff --git a/dev/kernel/HALKit/ARM64/HalKernelPanic.cc b/dev/kernel/HALKit/ARM64/HalKernelPanic.cc
index 12027342..6837ba1c 100644
--- a/dev/kernel/HALKit/ARM64/HalKernelPanic.cc
+++ b/dev/kernel/HALKit/ARM64/HalKernelPanic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <FirmwareKit/Handover.h>
diff --git a/dev/kernel/HALKit/ARM64/HalPagingMgr.cc b/dev/kernel/HALKit/ARM64/HalPagingMgr.cc
index 106e40ec..d597ccce 100644
--- a/dev/kernel/HALKit/ARM64/HalPagingMgr.cc
+++ b/dev/kernel/HALKit/ARM64/HalPagingMgr.cc
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
File: HalPagingMgr.cc
Purpose: Platform Paging Manager.
-------------------------------------------- */
+======================================== */
#include <HALKit/ARM64/Paging.h>
#include <HALKit/ARM64/Processor.h>
diff --git a/dev/kernel/HALKit/ARM64/HalSchedulerCore.cc b/dev/kernel/HALKit/ARM64/HalSchedulerCore.cc
index fde62e52..467547b0 100644
--- a/dev/kernel/HALKit/ARM64/HalSchedulerCore.cc
+++ b/dev/kernel/HALKit/ARM64/HalSchedulerCore.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <KernelKit/ProcessScheduler.h>
diff --git a/dev/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc b/dev/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
index 5b179ca1..b1728bac 100644
--- a/dev/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
+++ b/dev/kernel/HALKit/ARM64/HalSchedulerCorePrimitives.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/ARM64/Processor.h>
#include <KernelKit/ProcessScheduler.h>
diff --git a/dev/kernel/HALKit/ARM64/HalTimer.cc b/dev/kernel/HALKit/ARM64/HalTimer.cc
index cc04abc7..2f524a1b 100644
--- a/dev/kernel/HALKit/ARM64/HalTimer.cc
+++ b/dev/kernel/HALKit/ARM64/HalTimer.cc
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
07/07/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#include <ArchKit/ArchKit.h>
#include <KernelKit/Timer.h> \ No newline at end of file
diff --git a/dev/kernel/HALKit/ARM64/Paging.h b/dev/kernel/HALKit/ARM64/Paging.h
index 8df99e88..766210b3 100644
--- a/dev/kernel/HALKit/ARM64/Paging.h
+++ b/dev/kernel/HALKit/ARM64/Paging.h
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#pragma once
@@ -10,7 +10,7 @@
* THIS FILE CONTAINS CODE FOR ARMV8 PAGING.
-------------------------------------------------------- */
+------------======================================== */
#ifdef __NE_ARM64__
diff --git a/dev/kernel/HALKit/ARM64/Processor.h b/dev/kernel/HALKit/ARM64/Processor.h
index 69711806..716d317b 100644
--- a/dev/kernel/HALKit/ARM64/Processor.h
+++ b/dev/kernel/HALKit/ARM64/Processor.h
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc b/dev/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc
index f677b783..0200ec5a 100644
--- a/dev/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc
+++ b/dev/kernel/HALKit/ARM64/Storage/SCSI+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <modules/SCSI/SCSI.h>
diff --git a/dev/kernel/HALKit/ARM64/Storage/UFS+Generic.cc b/dev/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
index 32b7487d..9971b2a8 100644
--- a/dev/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
+++ b/dev/kernel/HALKit/ARM64/Storage/UFS+Generic.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
/// @file UFS.cc
/// @brief UFS Flash Memory support.
diff --git a/dev/kernel/HALKit/POWER/AP.h b/dev/kernel/HALKit/POWER/AP.h
index 4ba54802..efe4ceff 100644
--- a/dev/kernel/HALKit/POWER/AP.h
+++ b/dev/kernel/HALKit/POWER/AP.h
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
14/04/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc b/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
index b803f8ec..84d9b1c1 100644
--- a/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/POWER/HalApplicationProcessor.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/POWER/AP.h>
#include <HALKit/POWER/Processor.h>
diff --git a/dev/kernel/HALKit/POWER/HalDebugOutput.cc b/dev/kernel/HALKit/POWER/HalDebugOutput.cc
index 6be766cc..0c4be809 100644
--- a/dev/kernel/HALKit/POWER/HalDebugOutput.cc
+++ b/dev/kernel/HALKit/POWER/HalDebugOutput.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/dev/kernel/HALKit/POWER/HalHardwareThread.cc b/dev/kernel/HALKit/POWER/HalHardwareThread.cc
index 34b7b609..c77040f7 100644
--- a/dev/kernel/HALKit/POWER/HalHardwareThread.cc
+++ b/dev/kernel/HALKit/POWER/HalHardwareThread.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/POWER/Processor.h>
#include <KernelKit/DebugOutput.h>
diff --git a/dev/kernel/HALKit/POWER/HalStartSequence.s b/dev/kernel/HALKit/POWER/HalStartSequence.s
index ba110937..194e220e 100644
--- a/dev/kernel/HALKit/POWER/HalStartSequence.s
+++ b/dev/kernel/HALKit/POWER/HalStartSequence.s
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
.globl __ImageStart
.extern hal_init_platform
diff --git a/dev/kernel/HALKit/POWER/HalVirtualMemory.cc b/dev/kernel/HALKit/POWER/HalVirtualMemory.cc
index b97a4e91..cd9511c9 100644
--- a/dev/kernel/HALKit/POWER/HalVirtualMemory.cc
+++ b/dev/kernel/HALKit/POWER/HalVirtualMemory.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/POWER/MMU.h>
#include <HALKit/POWER/Processor.h>
diff --git a/dev/kernel/HALKit/POWER/Processor.h b/dev/kernel/HALKit/POWER/Processor.h
index 0208978a..46cda33e 100644
--- a/dev/kernel/HALKit/POWER/Processor.h
+++ b/dev/kernel/HALKit/POWER/Processor.h
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
Purpose: POWER processor header.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/RISCV/AP.h b/dev/kernel/HALKit/RISCV/AP.h
index d0b00212..1061b637 100644
--- a/dev/kernel/HALKit/RISCV/AP.h
+++ b/dev/kernel/HALKit/RISCV/AP.h
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
@@ -9,7 +9,7 @@
30/01/24: Added file (amlel)
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/kernel/HALKit/RISCV/HalApplicationProcessor.cc b/dev/kernel/HALKit/RISCV/HalApplicationProcessor.cc
index 0acc98da..520481d1 100644
--- a/dev/kernel/HALKit/RISCV/HalApplicationProcessor.cc
+++ b/dev/kernel/HALKit/RISCV/HalApplicationProcessor.cc
@@ -1,8 +1,8 @@
-/* -------------------------------------------
+/* ========================================
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
-------------------------------------------- */
+======================================== */
#include <HALKit/RISCV/AP.h>
#include <HALKit/RISCV/Processor.h>