summaryrefslogtreecommitdiff
path: root/microkernel.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-05 17:15:48 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-05 17:15:48 +0200
commit56b644db077a822a9b33490fb75325ebb444485e (patch)
treefc3a2c75dc031d15207143fe0727437eac228fd7 /microkernel.mdwn
parent5e717fde7d32a9d15b596324e60be98bf6e7b85e (diff)
put back l4ka URL, but keep replacement URLs
Diffstat (limited to 'microkernel.mdwn')
-rw-r--r--microkernel.mdwn5
1 files changed, 3 insertions, 2 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn
index a0331b1..c7fc099 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -11,8 +11,9 @@ License|/fdl]]."]]"""]]
A *microkernel* is one kind of a [[kernel]] implementation.
-[[Liedtke]] explains in [On Microkernel Construction](http://www.tud-os.org/papers_ps/jochen/Mikern.ps)
-(or from [ACM](http://dl.acm.org/citation.cfm?id=224075))
+[[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))
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