Microkernel Construction
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