diff options
authorMutoShack <MutoShack@web>2019-09-06 05:53:13 +0200
committerGNU Hurd web pages engine <>2019-09-06 05:53:13 +0200
commit83fb91c086c1bb63046d33c0dd5e8b7cdbd4018b (patch)
parentddc8628f4fd6d4089980002e80f4f534f543328b (diff)
Move article mirrors to footnotes
1 files changed, 3 insertions, 3 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn
index bbd6ad4a..8e78d7d5 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -14,9 +14,7 @@ A *microkernel* is one kind of a [[kernel]] implementation.
<!-- 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]( -->
-[[Liedtke]] explains in [On Microkernel Construction](
-(or from [TU Dresden](,
-or from [ACM](
+[[Liedtke]] explains in [On Microkernel Construction](*
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
@@ -54,3 +52,5 @@ A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt).
# External Links
* [[!wikipedia Microkernel]] on Wikipedia
+* *(or from [TU Dresden](
+or from [ACM](