From ddc8628f4fd6d4089980002e80f4f534f543328b Mon Sep 17 00:00:00 2001
From: MutoShack <MutoShack@web>
Date: Fri, 6 Sep 2019 05:50:20 +0200
Subject: Fix broken link

---
 microkernel.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/microkernel.mdwn b/microkernel.mdwn
index 2369f1de..bbd6ad4a 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -12,7 +12,9 @@ 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)
+<!-- 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))
 that a microkernel attempts to minimize the mandatory part of the operating
-- 
cgit v1.2.3