Kleinkernarchitektur

Architekturfragen

• Klein/Micro/Nano-Kerne

Kleinkernsysteme

Kleinkerne

• MACH (neueste Seiten 1996)
• Chorus V2
• Amoeba
• Ra
• Choices
• V
• L3

• L4 erste Versionen
• EXO
• Chorus V3
• QNX (???)
• KeyKOS : Capability-Basiertes System Uni Pensilvania (Einordnung unklar)
• EROS : Extremly Reliabable Opertionsystem; Capabilies,Ortogonale Persistenz ; Nachfolger von KeyKOS (Einordnung nach [GuZhao2012])

• seL4
• Coyotos ist Nachfolger von EROS (Einordnung nach [GuZhao2012])

• μ VelOSity: RTOS, 3KB RAM, extra Adressräume für Device Driver
  Kern von Integrity
• Fluke
  Flask Flux advanced Security Kernel (nach SELinux portiert)
• Helenos mit SPARTAN μ-Kernel der University of Prag - strebt auch formale Verifikation an, hat andere Ideen als L4
• Singularity von Microsoft Research, in "managed Code" in .NET

Systeme

Obwohl die prinzipiellen Argumente überzeugend sind, scheint der Multiserveransatz doch schwer zu realisieren zu sein:

GNU HURD

Eines der wenigen Multiserverprojekte

SawMill

hier wird der Linux-Kern zerlegt

Chorus MiX

Multiserver basierend auf CHORUS.

Links allgemein

microkernel info

eine Übersicht über Microkernels.
Stand 12.7.2021 fehlt die Einteilung in Generationen. Verschiedene Betriebssysteme können ja auf dem selben Microkern aufbauen (z.B. L4RE oder Genode bauen auf L4) ...