You attended the lecture Operating Systems; so you should have a good understanding of OS concepts. Having attended the lecture Microkernel Construction is certainly helpful, but the initial L4 crash course will be enough to get you started. However, attending Microkernel Construction is recommended to understand the details of in-kernel Whys and Hows. During the course you will write C or C++ code. Basic programming skills in C, C++, or Java are sufficient as prerequisite, however.
ATTENTION: This lab will be offered in ST 2017 for the last time.
In addition to the lecture, we offer the SDI lab where small teams (2-4) of students will gain practical experience in the design and implementation of a large system software project within a team. Each team will focus on one component of a multiserver system and either design and implement that component or improve an existing implementation. If you want to participate in the SDI lab, you have to sign up on our web site.
This year, the lab will be based on the L4-based Fiasco.OC microkernel from TU Dresden. Further, some teams will work on the ARM architecture (BeagleBone Black boards).