chore: update kernel codebase.

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

1 files changed, 2 insertions, 0 deletions

diff --git a/src/kernel/KernelKit/Semaphore.h b/src/kernel/KernelKit/Semaphore.h
index 6fafc88b..0a74a771 100644
--- a/src/kernel/KernelKit/Semaphore.h
+++ b/src/kernel/KernelKit/Semaphore.h
@@ -22,6 +22,7 @@
 #define kSemaphoreDecrementOwner(sem) (sem[kSemaphoreOwnerIndex]--)
 
 namespace Kernel {
+
 /// @brief Semaphore structure used for synchronization.
 using SemaphoreArr = UInt64[kSemaphoreCount];
 
@@ -106,6 +107,7 @@ inline bool rtl_sem_wait(SemaphoreArr& sem, const UInt64 owner, const UInt64 tim
 
   return false;  // Failed to acquire semaphore
 }
+
 }  // namespace Kernel
 
 #endif  // !KERNELKIT_TLS_H
\ No newline at end of file