TU Dresden | Sommersemester 2020 Microkernel Construction

TU Dresden website for this course

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.

Loading Assessment overview
Loading overview