For more information and teaching material please visit https://teaching.dahahm.de/teaching/opsys_ws25.html