TUD Logo

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

Operating Systems

against racism

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 2016


  • 07.04. Introduction
  • 14.04. No lecture
  • 21.04. Threads and Address Spaces
  • 28.04. Kernel Entry and Exit
  • 12.05. Exercise 1 (Kernel entry, exit, syscalls) Room APB E065 (solution)
  • 26.05. Exercise 2 (Linker script, Multiboot, ELF) Room APB E065
  • 02.06. Interprocess Communication
  • 09.06. Capabilities
  • 16.06. Exercise 3 (Thread Switching) Room APB E065
  • 23.06. Mapping Database
  • 30.06. Escape
  • 07.07. M3
  • 14.07. ?

Additional Documentation

Operating System Basics:
  • Modern Operating Systems: Andrew S. Tanenbaum (OS Concepts, OS Structures, Virtual Memory)
L4 Specific Information:

Practical Exercises


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

Last modified: 24th May 2016, 1.14 PM
Author: Dr.-Ing. Marcus Völp

Dipl. Inf.
Benjamin Engel

Phone: 463 38321
Fax:  463 38284
e-mail contact form

  • ModuleModules: INF-BAS4, INF-VERT4
  • 2/0/0 = 2 SWS
Time and Place
  • Lecture, weekly
    TimeThu, 1.00 PM PlaceAPB E008
Mailing List