TUD Logo

TUD Home » ... » Operating Systems » Teaching » Microkernel Construction

Operating Systems

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

Last modified: 31st Jan 2023, 11.42 AM
Author: Dr.-Ing. Marcus Völp

Nils Asmussen

Phone: 38401
Fax:  38284
e-mail contact form

  • ModuleModules: INF-BAS4, INF-VERT4
  • 2/0/0 = 2 SWS
Time and Place

This course is not being offered in this term.