Microkernel Construction

TOPICS

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 2019

Slides

• 04.04. Introduction
• 11.04. No lecture
• 18.04. No lecture
• 25.04. Threads and Address Spaces
• 02.05. Kernel Entry / Exit
• 09.05. Exercise 1 (Kernel entry, exit, syscalls) Room APB E046 (solution)
• 16.05. Interprocess Communication
• 17.05. Capabilities Room APB 3105 @ 11:10 AM
• 23.05. Exercise 2 (Linker script, Multiboot, ELF) Room APB E046 (solution)
• 30.05. No lecture (Himmelfahrt)
• 06.06. Exercise 3 (Thread switching) Room APB E046 (solution)
• 13.06. No lecture (Pfingsten)
• 20.06. No lecture (OUTPUT)
• 27.06. Case study: L4Re
• 04.07. Case study: M3

Additional Documentation

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

• NOVA: A Microhypervisor-Based Secure Virtualization Architecture
• NOVA git repo
• Fiasco.OC microkernel
• Escape
• M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores
• M3 git repo

Mailinglist

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