Literatur

[Liedtke1995] J.Liedtke : "On μ-Kernel Construction", 15th ACM Symposium on Operation System principles (SOSP) 1995

beschreibt die L4-Architektur

[ElphinstoneHeiser2013] Kevin Elphinstone and Gernot Heiser: "From L3 to seL4 : What Have We Learnt in 20 Years of L4 Microkernels?" NICTA and UNSW, Sydney

B.D:"Interduction to Microkernels" SummerSchool 2012

Literatursammlungen:

Uni Karlsruhe von J.Liedtke

TU Dresden,TU Dresden 2

University Sydney

Vorlesungen usw.

Uni SW: Advanced Operating Systems: The L4 Microkernel

Kit: Microkernal Construction lecture Notes 2008

Sekundärliteratur

[Ruocco2008] Sergio Ruocco: "A Real-Time Programmer's Tour of General-Purpose L4 Microkernels", EURASIP Journal on Embedded Systems Volume 2008, Article ID 234710

das Design von Echtzeitsystemen auf Basis von L4 sei grundsätzlich möglich. Es werden die Vor- und Nachteile von L4 für Echtzeitsysteme diskutiert.