diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-04-03 23:42:32 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-04-03 23:42:32 +0200 |
| commit | 70b8fc57e8e29c4d4a1284c2267651943ac02b4e (patch) | |
| tree | 1b839e207a3f3c516e684420396e388cf8ae1487 /microkernel.mdwn | |
| parent | e1a127efc582faabce933d0943eceae797634168 (diff) | |
| parent | 93b266266b6200a64372e02564729bf5f27cfd3e (diff) | |
Merge branch 'master' of braunbox:~hurd-web/hurd-web
Diffstat (limited to 'microkernel.mdwn')
| -rw-r--r-- | microkernel.mdwn | 23 |
1 files changed, 9 insertions, 14 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn index 31044186..2369f1de 100644 --- a/microkernel.mdwn +++ b/microkernel.mdwn @@ -1,5 +1,4 @@ -[[!meta copyright="Copyright © 2007, 2008, 2010, 2012, 2013, 2014 Free Software -Foundation, Inc."]] +[//]: # ([[meta copyright="Copyright © 2007, 2008, 2010, 2012, 2013, 2014 Free Software Foundation, Inc."]]) [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -9,6 +8,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) @@ -35,25 +36,19 @@ An [introduction](http://www.cs.cornell.edu/Info/People/ulfar/ukernel/ukernel.ht A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt). - -# Implementations - +--- +# Microkernel Implementations * [[Hydra]] - * [[KeyKOS]] - * [[Mach]] -- used by the GNU/Hurd - * [[EROS]] - * [[CapROS]] - * [[Coyotos]] - * [[L4]] - * [[Barrelfish]] - * [[Viengoos]] - * [[Genode]] + +--- +# External Links +* [[!wikipedia Microkernel]] on Wikipedia |