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

Microkernel Construction

This website is obsolete. Please visit our new website for up-to-date information about all classes at the Chair of Operating Systems.


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 2019


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 SS2018

webmaster@os, home
Fri Apr 3 20:51:22 2020
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum ·