diff options
| -rw-r--r-- | microkernel.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn index 31044186..31bf3f5e 100644 --- a/microkernel.mdwn +++ b/microkernel.mdwn @@ -9,6 +9,8 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] +[[!meta title="Microkernel"]] + A *microkernel* is one kind of a [[kernel]] implementation. [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642) |