From 83fb91c086c1bb63046d33c0dd5e8b7cdbd4018b Mon Sep 17 00:00:00 2001
From: MutoShack <MutoShack@web>
Date: Fri, 6 Sep 2019 05:53:13 +0200
Subject: Move article mirrors to footnotes

---
 microkernel.mdwn | 6 +++---
 1 file 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))
-- 
cgit v1.2.3