From 85037d83e04e6dc6e47d7cb18d07f11497af58e1 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Wed, 5 Jun 2013 16:41:41 +0200 Subject: Fix 404 --- microkernel.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'microkernel.mdwn') 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](http://l4ka.org/publications/paper.php?docid=642) +[[Liedtke]] explains in [On Microkernel Construction](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 system by providing the minimal number of [[mechanism]]s that maximize the flexibility of implementation (by imposing minimal -- cgit v1.2.3