doc/man: Add kernel manpage

diff --git a/doc/man/kernel.10 b/doc/man/kernel.10
new file mode 100644 (file)
index 0000000..22f6065
--- /dev/null
+++ b/doc/man/kernel.10
@@ -0,0 +1,46 @@
+.TH KERNEL 10 2020-08-28 "0.1" "The Corax Programming Environment"
+
+.SH INTRODUCTION
+
+Corax is a microkernel operating system. This means that the amount of functionality provided by
+the kernel is considerably smaller than in monolithic kernel designs such as that of Linux. The
+point of this is to reduce the amount of code that is executed in kernel mode, the highest
+privilege level that code can execute at. By moving code (and thus potential bugs) out of the
+kernel, the likelihood for kernel panics ("blue screens" in Windows parlance) and security-related
+issues can be reduced substantially. It is important to point out that this benefit comes with a
+performance penalty.
+However, the bigger reason for this design decision is that it keeps the kernel smaller and thus
+more readily understandable, which is the primary goal of the Corax operating system.
+
+.SH ARCHITECTURE
+
+.in +4
+.nf
+ .------------. .-------------. .-------------. .-------.
+ | IO process | | VGA process | | KBD process | |  ...  |
+ '------------' '-------------' '-------------' '-------'
+ .------------------------------------------------------.
+ | Corax Kernel                                         |
+ | .-------------------. .--------------------. .-----. |
+ | | Memory management | | Process management | | IPC | |
+ | '-------------------' '--------------------' '-----' |
+ '------------------------------------------------------'
+    Figure 1: High-level view of the Corax architecture
+.fi
+.in
+
+.SH SEE ALSO
+
+.ad l
+.nh
+.BR startup (10)
+.BR memory (10)
+.BR interrupts (10)
+.BR scheduler (10)
+.BR processes (10)
+.BR ipc (10)
+.BR io (10)
+
+.SH AUTHORS
+
+Matthias Kruk