Hi everyone,
I have now made all lecture videos available [1] so that you can watch them again, e.g., to prepare for the exam. These are recordings from last year, but the content is basically the same.
I hope you found MKC to be interesting and fun. If you have any feedback, don't hesitate to write me an email.
If you are looking for a thesis topic and consider this area interesting, please contact me as well. We typically have enough ideas around M³, L4, or similar to find something for you :)
Best regards, Nils
[1] https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/stud...