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
Additional DocumentationOperating System Basics:
Phone: 463 38321
Fax: 463 38284
e-mail contact form
Time and Place