diff options
Diffstat (limited to 'microkernel.mdwn')
-rw-r--r-- | microkernel.mdwn | 31 |
1 files changed, 14 insertions, 17 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn index 31044186..8e78d7d5 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,11 +8,13 @@ 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) -(or from [TU Dresden](http://www.tud-os.org/papers_ps/jochen/Mikern.ps), -or from [ACM](http://dl.acm.org/citation.cfm?id=224075)) +<!-- The link below is commented out because I'm not sure if the server is permanently down or if it's temporary --> +<!-- [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642) --> +[[Liedtke]] explains in [On Microkernel Construction](https://os.itec.kit.edu/downloads/publ_1995_liedtke_ukernel-construction.pdf)* that a microkernel attempts to minimize the mandatory part of the operating system by providing the minimal number of [[mechanism]]s that maximize the flexibility of implementation (by imposing minimal @@ -35,25 +36,21 @@ 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 +* *(or from [TU Dresden](http://www.tud-os.org/papers_ps/jochen/Mikern.ps) +or from [ACM](http://dl.acm.org/citation.cfm?id=224075)) |