diff options
| author | MutoShack <MutoShack@web> | 2019-09-06 05:50:20 +0200 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2019-09-06 05:50:20 +0200 |
| commit | ddc8628f4fd6d4089980002e80f4f534f543328b (patch) | |
| tree | f6ed7f6808cc649f3a8daea8ee9b72279959efa1 /microkernel.mdwn | |
| parent | 6ab6c90cc39c7860c2a2a7482cbc12f447b812e6 (diff) | |
| download | web-ddc8628f4fd6d4089980002e80f4f534f543328b.tar.gz web-ddc8628f4fd6d4089980002e80f4f534f543328b.tar.bz2 web-ddc8628f4fd6d4089980002e80f4f534f543328b.zip | |
Fix broken link
Diffstat (limited to 'microkernel.mdwn')
| -rw-r--r-- | microkernel.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
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 |