Operating Systems · Institute for System Architecture · Dept. of CS · TU Dresden

Microkernel Construction


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. Required skills for this lecture include basic knowledge of Linux and programming skills of C/C++ language.

Lectures and Exercises in SS 2018


Additional Documentation

Operating System Basics:
  • Modern Operating Systems: Andrew S. Tanenbaum (OS Concepts, OS Structures, Virtual Memory)
Further information about the discussed OSes:


Please subscribe to the mailing list when visiting the lecture.
Archive of previous semesters: SS2007 SS2008 SS2009 SS2010 SS2011 SS2012 SS2013 SS2014 SS2015 SS2016 SS2017

webmaster@os, home
Fri Jul 13 07:05:48 2018
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·