Microkernel Construction

Lecturer Dr. Nils Asmussen
Module INF-BAS4, INF-VERT4, INF-04-FG-AVS, MINF-04-FG-SAT, IST-05-FG-AVS
Scope and Type

2 SWS lecture
Cycle Summer semester
Time and Place This course is not being offered in this term.
Mailing List

Please subscribe using a TU Dresden address

TOPICS

This lecture focuses on current developments in the area of 2nd generation microkernels. After introducing microkernel-based operating systems in general, it dives into the construction of the microkernel itself by looking at the design of, e.g., interprocess communication, threads, and address spaces. The exercises provide hands-on experience by allowing students to hack on a stripped-down microkernel. Finally, the lecture presents multiple case studies of microkernels used in academia and industry.

We recommend to visit the lecture Microkernel-based Operating Systems first, but this is no requirement. However, we do assume basic knowledge of Linux and programming skills of C/C++ language.

Slides

Additional Documentation

Operating System Basics:

  • Modern Operating Systems: Andrew S. Tanenbaum (OS Concepts, OS Structures, Virtual Memory)

Further information about the discussed OSes:

About this page

Till Smejkal
Last modified: Sep 02, 2020
Page Actions