From b456c928fecf78157270b052e441a427f06afdda Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Sat, 29 Nov 2025 21:38:33 -0500
Subject: feat: kernel: Introduce Vet.h, better Ref.h, and more improved
 containers for better kernel code.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 src/kernel/HALKit/ARM64/ApplicationProcessor.h | 2 +-
 src/kernel/HALKit/ARM64/Paging.h               | 2 +-
 src/kernel/HALKit/ARM64/Processor.h            | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/kernel/HALKit/ARM64')

diff --git a/src/kernel/HALKit/ARM64/ApplicationProcessor.h b/src/kernel/HALKit/ARM64/ApplicationProcessor.h
index 9768cebc..71f8b68a 100644
--- a/src/kernel/HALKit/ARM64/ApplicationProcessor.h
+++ b/src/kernel/HALKit/ARM64/ApplicationProcessor.h
@@ -7,7 +7,7 @@
 #pragma once
 
 #include <HALKit/ARM64/Processor.h>
-#include <NeKit/Defines.h>
+#include <NeKit/Config.h>
 
 /************************************************** */
 /*     INITIALIZE THE GIC ON THE CURRENT CORE.      */
diff --git a/src/kernel/HALKit/ARM64/Paging.h b/src/kernel/HALKit/ARM64/Paging.h
index e8bd0ac1..28d31b60 100644
--- a/src/kernel/HALKit/ARM64/Paging.h
+++ b/src/kernel/HALKit/ARM64/Paging.h
@@ -14,7 +14,7 @@
 
 #ifdef __NE_ARM64__
 
-#include <NeKit/Defines.h>
+#include <NeKit/Config.h>
 
 #ifndef kPageMax
 #define kPageMax (0x200)
diff --git a/src/kernel/HALKit/ARM64/Processor.h b/src/kernel/HALKit/ARM64/Processor.h
index de9f932e..3ef21957 100644
--- a/src/kernel/HALKit/ARM64/Processor.h
+++ b/src/kernel/HALKit/ARM64/Processor.h
@@ -10,7 +10,7 @@
 
 #include <FirmwareKit/Handover.h>
 #include <NeKit/Array.h>
-#include <NeKit/Defines.h>
+#include <NeKit/Config.h>
 #include <NeKit/Utils.h>
 
 #define kCPUBackendName "aarch64"
-- 
cgit v1.2.3