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...