path: root/microkernel.mdwn
diff options
authorSamuel Thibault <>2013-06-05 16:41:41 +0200
committerSamuel Thibault <>2013-06-05 16:41:41 +0200
commit85037d83e04e6dc6e47d7cb18d07f11497af58e1 (patch)
treed48d2a875ec819191afcd928ec8a15ca26ca21e7 /microkernel.mdwn
parenta83c30402a445f92e679e581730aa9b4957fa10c (diff)
Fix 404
Diffstat (limited to 'microkernel.mdwn')
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn
index 5cad12ee..a0331b1c 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](
+[[Liedtke]] explains in [On Microkernel Construction](
+(or from [ACM](
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