Literatur

BBH$^+$98

Robert Baumgartl, Martin Borriss, Hermann Härtig, Claude-Joachim Hamann, Michael Hohmuth, Lars Reuther, Sebastian Schönberg, and Jean Wolter.
Dresden Realtime Operating System.
In Proceedings of the First Workshop on System Design Automation (SDA'98, pages 205-212, Dresden, March 1998.

BC01

Daniel P. Bovet and Marco Cesati.
Understanding the LINUX Kernel.
O'Reilly & Associates, Inc., 1st edition, January 2001.

Bon94

Jeff Bonwick.
The Slab Allocator: An Object-Caching Kernel Memory Allocator.
Technical report, Sun Microsystems, 1994.

Flu

Flux Research Group.
The OSKit.
University of Utah.

Available from URL: http://www.cs.utah.edu/flux/oskit/.

GJP$^+$00

Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, and Lars Reuther.
The SawMill Multiserver Approach.
In ACM SIGOPS European Workshop. IBM T.J. Watson Research Center, University of Karlsruhe, TU Dresden, 2000.

URL: http://www.research.ibm.com/sawmill/.

Hel01a

Christian Helmuth.
I/O Server Source Code, 2001.
First io Reference Implementation.

Hel01b

Christian Helmuth.
Linux Device Driver Environment Source Code, 2001.
First dde_test Reference Implementation.

HHW98

Hermann Härtig, Michael Hohmuth, and Jean Wolter.
Taming Linux.
In Proceedings of the 5th Annual Australasian Conference on Parallel And Real-Time Systems PART '98, Adelaide, Australia, 1998.

L$^+$99

Jochen Liedtke et al.
A Framework for VM Diversity.
Technical report, IBM T.J. Watson Research Center, 1999.

LH00

Jork Löser and Michael Hohmuth.
Omega0: A portable interface to interrupt hardware for L4 systems.
In Workshop on Common Mikrokernel System Platforms, January 2000.
Jewel Edition.

LHR01

Jork Löser, Hermann Härtig, and Lars Reuther.
A Streaming Interface for Real-Time Interprocess Communication.
In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Bavaria, Germany, May 2001.

Mar99

Kevin Van Maren.
The FLUKE Device Driver Framework.
Master's thesis, University of Utah, 1999.

Meh96

Frank Mehnert.
Portierung des SCSI-Gerätetreibers von Linux auf L3.
Belegarbeit, TU Dresden, 1996.
In German.
Available from URL: http://wwwos.inf.tu-dresden.de/L4/.

Pau98

Torsten Paul.
Entkopplung von Echtzeit- und Timesharing-Aktivitäten am Beispiel einer echtzeitfähigen Darstellungskomponente in DROPS.
Diplomarbeit, TU Dresden, 1998.
In German.
Available from URL: http://wwwos.inf.tu-dresden.de/L4/.

Reu01

Lars Reuther.
Towards A Common Environment For L4 Applications.
Unpublished, 2001.

Sta96

René Stange.
Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur.
Diplomarbeit, TU Dresden, 1996.
In German.
Available from URL: http://wwwos.inf.tu-dresden.de/L4/.

T$^+$01

Linus Torvalds et al.
Linux Kernel Source Code, 2001.
Version 2.4.2,
Available from URL: ftp://ftp.kernel.org.

UDI99

Project UDI: Uniform Driver Interface, 1999.

Available from URL: http://www.project-UDI.org.

W$^+$95

Werner et al., editors.
Taschenbuch der Informatik.
1995.