diff options
| author | MutoShack <MutoShack@web> | 2019-03-24 06:25:56 +0100 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2019-03-24 06:25:56 +0100 |
| commit | 7bdf2ce27b1dea30ce311eef404bb26be483a3df (patch) | |
| tree | fca0356021d7c5fae3d8d273734d064f64831792 | |
| parent | 14fa96a9ab0c748599c558fbae591efaa135b942 (diff) | |
Add title
| -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) |