diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-26 15:18:15 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-26 15:18:15 +0200 |
| commit | 2c18eac2140a577090c84854905728ebd2ce0fac (patch) | |
| tree | 799129f165d6dc77a652fe574c7e8c4761e9625d /microkernel.mdwn | |
| parent | bba1488c7be842e5d0311ffa6541373d63b1164c (diff) | |
| parent | ce4899ded119f3607515cc54252c4bad7224f804 (diff) | |
Merge commit 'ce4899ded119f3607515cc54252c4bad7224f804'
Conflicts:
community/gsoc/project_ideas/mtab.mdwn
contributing.mdwn
hurd/translator/eth-filter.mdwn
hurd/translator/socketio.mdwn
open_issues/exec.mdwn
open_issues/gnumach_vm_object_resident_page_count.mdwn
public_hurd_boxen.mdwn
Diffstat (limited to 'microkernel.mdwn')
| -rw-r--r-- | microkernel.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn index 5cad12ee..c7fc0995 100644 --- a/microkernel.mdwn +++ b/microkernel.mdwn @@ -12,6 +12,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) +(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 |