OS for Advanced Operating Systems course at ETHZ