diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-05 17:15:48 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-05 17:15:48 +0200 |
| commit | 56b644db077a822a9b33490fb75325ebb444485e (patch) | |
| tree | fc3a2c75dc031d15207143fe0727437eac228fd7 | |
| parent | 5e717fde7d32a9d15b596324e60be98bf6e7b85e (diff) | |
put back l4ka URL, but keep replacement URLs
| -rw-r--r-- | microkernel.mdwn | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn index a0331b1c..c7fc0995 100644 --- a/microkernel.mdwn +++ b/microkernel.mdwn @@ -11,8 +11,9 @@ License|/fdl]]."]]"""]] A *microkernel* is one kind of a [[kernel]] implementation. -[[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)) +[[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642) +(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 system by providing the minimal number of [[mechanism]]s that maximize the flexibility of implementation (by imposing minimal |