diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-07 19:27:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-03-07 19:27:42 +0100 |
| commit | d36aa93e441f11c8f77ebf4f29dfbc239642a6b3 (patch) | |
| tree | 1b90f5ba2e0c8248f106e23053ac33db15444dd2 | |
| parent | b7d4f9943ca6d2561a31fc212b8e074e4984b850 (diff) | |
| parent | 3007798e5c350598f7b75ae6f28972bf9bd8936f (diff) | |
Merge pull request #128 from ne-foss-org/update-citations
[CHORE] Update CITATION.cff.
| -rw-r--r-- | CITATION.cff | 10 | ||||
| -rw-r--r-- | proofs/Kernel/HeapMgr.v | 2 | ||||
| -rw-r--r-- | src/kernel/NeKit/Stream.h | 2 | ||||
| -rw-r--r-- | src/libPOSIX/POSIXKit/unistd.h | 9 |
4 files changed, 17 insertions, 6 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. + + 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 <typename Data> friend Stream<StreamTrait, Kind>& operator<<(Stream<StreamTrait, Kind>& Ks, Ref<Data>& 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 <libSystem/SystemKit/System.h> + +/// @file Unistd.h +/// @brief POSIX Standard Header for NeKernel. + +#endif // LIBPOSIX_POSIXKIT_UNISTD_H |