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 2017


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

webmaster@os, home
Thu Jul 13 14:49:57 2017
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·