In dieser Vorlesung sollen die Studierenden konkrete Herangehensweisen zum Entwurf und zur Implementierung von modular aufgebauten Betriebssystemen kennenlernen. Sie sollen detaillierte Kenntnisse über den Aufbau und die Struktur einzelner Betriebssystemkomponenten erwerben und die Auswirkungen der verstärkten Modularisierung des Betriebssystems verstehen. Dabei sollen sowohl Kenntnisse der Vorteile (größerer Schutz, erhöhte Stabilität, verbesserte Anpassungsfähigkeit, etc.) als auch der Nachteile der Modularisierung, (erhöhter Kommunikationsaufwand, unflexiblere Schnittstellen, Leistungseinbußen, etc.) vermittelt werden. Konkret und vertieft wird auf den am Lehrstuhl erforschten L4-Mikrokern eingegangen werden.

Das eng mit der Vorlesung verbundene Praktikum Systementwurf und Implementierung bietet den Studierenden schließlich die Möglichkeit, die in der Vorlesung theoretischen Kenntnisse "am eigenen Leibe" zu erfahren, indem sie im Team ein kleines modulares Betriebssystem von Grund auf entwickeln und implementieren. Zur Teilnahme am SDI-Praktikum ist eine Anmeldung erforderlich.

Vorheriges Hören der Vorlesung "Systemarchitektur" wird erwartet. Ein gutes Verständnis von Betriebssystemkonzepten wird vorausgesetzt.

Vorheriges Hören der Vorlesung "Microkernel Construction" ist gewiss hilfreich, aber nicht notwendig. Die anfängliche Einführung in L4 sollte ausreichen. Das Hören der Vorlesung "Microkernel Construction" wird jedoch empfohlen, wenn man das Warum und Wie der Kern-Interna verstehen möchte. Während der Veranstaltung wird in C bzw. C++ programmiert. Grundlegende Kenntnisse in C, C++ oder Java  sind ausreichend als Vorwissen.