TOPICS

This lecture focuses on current developments in the area of 2nd generation microkernels. After introducing microkernel-based operating systems we look into the design and implementation issues of the mechanisms of modern real-life microkernels. Practical exercises give hands-on-experience to the topics covered in this lecture. Requiered skills for this lecture include the basic knowledge of Linux and programming skills of C/C++ language.

Lectures and Exercises in SS 2013

Slides

• 11.04. Introduction
• 18.04. Threads and Address Spaces
• 25.04. Kernel Entry and Exit
• 02.05. Inter Process Communication
• 16.05. Capabilities

Additional Documentation

Operating System Basics:

• Modern Operating Systems: Andrew S. Tanenbaum (OS Concepts, OS Structures, Virtual Memory)

L4 Specific Papers:

• L4 V.2 Specification (PS)
• Fiasco.OC microkernel

Practical Exercises

Mailinglist

Please subscribe to the mailing list when visiting the lecture.
Archive of previous semesters: SS2007 SS2008 SS2009 SS2010 SS2011