diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-20 11:34:46 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-20 11:34:46 +0100 |
| commit | 95cec022e893359352cb3b4be7c3aed18aeac76b (patch) | |
| tree | 731ffaffb1b5edc24521265863f6ef60c68c0e2a /source | |
| parent | 8a7013babdfcd37be9e55a62d5d8b414e155162f (diff) | |
chore: important improvements of wg02 and wg01.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg01/wg01.tex | 6 | ||||
| -rw-r--r-- | source/wg02/wg02.tex | 4 | ||||
| -rw-r--r-- | source/wg03/wg03.tex | 22 |
3 files changed, 16 insertions, 16 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex index 449057b..d74db20 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/wg01.tex @@ -50,9 +50,9 @@ \rule[1cm]{17cm}{0.01cm} \end{center} -\abstract{Many Operating Systems kernels have been shipped using the C programming language. -And some of them like EKA2 use the C++ programming language. Although notoriously difficult, one may adapt to those constraints in order to deliver one such operating system kernel. -This is why most production-grade kernels (Linux, XNU, and NT) are mostly written in C. With a higher-level subset in C++. However, when correctly applying the following principles to kernel development, it becomes much easier to ensure correctness of such programs. +\abstract{Many low-level software have been shipped using the C programming language. +And some of them, such as EKA2 use the C++ programming language. Although notoriously difficult, one may adapt to those constraints in order to deliver one such operating system kernel. +This is why most production-grade software (Linux, XNU, and NT) are mostly written in C. With a higher-level subset in C++. However, when correctly applying the following principles to freestanding development, it becomes much easier to ensure correctness of such programs. } \section{The Three Principles of Freestanding Development.} diff --git a/source/wg02/wg02.tex b/source/wg02/wg02.tex index 94b9c72..a79c4e4 100644 --- a/source/wg02/wg02.tex +++ b/source/wg02/wg02.tex @@ -49,11 +49,11 @@ \end{center} \abstract -{CoreProcessScheduler governs how the scheduling backend and policy of the kernel works, It is the common gateway for schedulers inside NeKernel based systems.} +{CoreProcessScheduler governs how the scheduling backend and policy of the system works, It is the common gateway for schedulers inside NeKernel based systems.} \section{Introduction.} -{CoreProcessScheduler (now referred as CPS) serves as the foundation between the scheduler backend and kernel.} {It takes care of process life-cycle management, team-based process grouping, and affinity-based CPU based allocation to mention the least.} +{CoreProcessScheduler (now referred as CPS) serves as the foundation between the scheduler backend and system.} {It takes care of process life-cycle management, team-based process grouping, and affinity-based CPU based allocation to mention the least.} \subsection{The Affinity System.} diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex index bc8eeaf..36375b1 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/wg03.tex @@ -41,15 +41,15 @@ } \begin{document} - - \bf \maketitle - - \begin{center} - \rule[1cm]{17cm}{0.01cm} - \end{center} - - \abstract - { - } - + +\bf \maketitle + +\begin{center} + \rule[1cm]{17cm}{0.01cm} +\end{center} + +\abstract +{ +} + \end{document}
\ No newline at end of file |