From 519d6deaf1c49df6b699afece99bb44fc02d5655 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 7 Mar 2026 18:12:08 +0100 Subject: [CHORE] Update CITATION.cff. Signed-off-by: Amlal El Mahrouss --- CITATION.cff | 10 +++++----- proofs/Kernel/HeapMgr.v | 2 ++ 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index afcf9a43..9fa4185b 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -1,6 +1,6 @@ cff-version: 1.2.0 -title: NeKernel.org Operating System Kernel in C++ -message: The Operating System Kernel of NeKernel.org +title: Ne.org Operating System Kernel in C++ +message: The Operating System Kernel of Ne.org type: software authors: - given-names: Amlal @@ -9,11 +9,11 @@ authors: identifiers: - type: url value: 'https://nekernel.org' - description: NeKernel.org's Operating System Kernel -repository-code: 'https://github.com/ne-foss-org/nekernel' + description: Ne.org's Operating System Kernel +repository-code: 'https://github.com/ne-foss-org/kernel' url: 'https://nekernel.org' abstract: >- - This is NeKernel.org's Modular Operating System Kernel. + This is Ne.org's Modular Operating System Kernel. keywords: - kernel - operating-system diff --git a/proofs/Kernel/HeapMgr.v b/proofs/Kernel/HeapMgr.v index fe0b0923..a709888e 100644 --- a/proofs/Kernel/HeapMgr.v +++ b/proofs/Kernel/HeapMgr.v @@ -6,3 +6,5 @@ *) From Coq Require Import Logic.Classical_Prop. + + -- cgit v1.2.3 From 3007798e5c350598f7b75ae6f28972bf9bd8936f Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 7 Mar 2026 19:25:58 +0100 Subject: [CHORE] Merging #128 after this commit. Signed-off-by: Amlal El Mahrouss --- src/kernel/NeKit/Stream.h | 2 +- src/libPOSIX/POSIXKit/unistd.h | 9 +++++++++ 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/src/kernel/NeKit/Stream.h b/src/kernel/NeKit/Stream.h index ad458d5a..8ef82e6c 100644 --- a/src/kernel/NeKit/Stream.h +++ b/src/kernel/NeKit/Stream.h @@ -27,7 +27,7 @@ class Stream final { template friend Stream& operator<<(Stream& Ks, Ref& Buf) { - *Ks = Ks.fStream->Out(Buf.Leak()); + *Ks = Ks.fStream->Out(Buf.Leak()); Ks.fKind = Buf; return *Ks; } diff --git a/src/libPOSIX/POSIXKit/unistd.h b/src/libPOSIX/POSIXKit/unistd.h index e69de29b..a2be3a30 100644 --- a/src/libPOSIX/POSIXKit/unistd.h +++ b/src/libPOSIX/POSIXKit/unistd.h @@ -0,0 +1,9 @@ +#ifndef LIBPOSIX_POSIXKIT_UNISTD_H +#define LIBPOSIX_POSIXKIT_UNISTD_H + +#include + +/// @file Unistd.h +/// @brief POSIX Standard Header for NeKernel. + +#endif // LIBPOSIX_POSIXKIT_UNISTD_H -- cgit v1.2.3