[mkc2023] Lecture videos

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