System Design and Implementation
Contents (in German)
You attended the lecture System Architecture; 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.
Informations about the course
For further information about this lecture, see the VAB im Studierendenportal.