Am 15.4. ist noch keine SDI-Vorlesung, der erste Termin wird am Donnerstag, dem 17.4. sein, zusammen mit dem Beginn des SDI-Praktikums.

Das eng mit der Vorlesung verbundene Praktikum Systementwurf und Implementierung bietet den Studierenden schließlich die Möglichkeit, die in der Vorlesung erworbenen theoretischen Kenntnisse "am eigenen Leibe" zu erfahren, indem sie im Team an einem kleinen modularen Betriebssystem arbeiten. Die Teams werden spezifische Komponenten von Grund auf neu entwickeln oder verbessern, und diese implementieren und experimentell evaluieren. Zur Teilnahme am SDI-Praktikum ist eine Anmeldung erforderlich.

Im Sommersemester 2014 werden wir erstmals den L4-basierten Mikrokernel Fiasco.OC der TU Dresden als Grundlage des Praktikums einsetzen. Zudem werden einige Teams während des Praktikums auf der ARM-Architektur (Beagle Bone Black-Boards) arbeiten.

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.