summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-09-06 05:53:13 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-09-06 05:53:13 +0200
commit83fb91c086c1bb63046d33c0dd5e8b7cdbd4018b (patch)
tree1fd4b80763485e7defb86fba53ec7d1d014677f0
parentddc8628f4fd6d4089980002e80f4f534f543328b (diff)
Move article mirrors to footnotes
-rw-r--r--microkernel.mdwn6
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](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)
-(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))
+[[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
@@ -54,3 +52,5 @@ A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt).
---
# 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))