summaryrefslogtreecommitdiff
path: root/microkernel.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-05 16:41:41 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-05 16:41:41 +0200
commit85037d83e04e6dc6e47d7cb18d07f11497af58e1 (patch)
treed48d2a875ec819191afcd928ec8a15ca26ca21e7 /microkernel.mdwn
parenta83c30402a445f92e679e581730aa9b4957fa10c (diff)
Fix 404
Diffstat (limited to 'microkernel.mdwn')
-rw-r--r--microkernel.mdwn3
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn
index 5cad12e..a0331b1 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -11,7 +11,8 @@ License|/fdl]]."]]"""]]
A *microkernel* is one kind of a [[kernel]] implementation.
-[[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642)
+[[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))
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