diff options
| -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 |