Labs for the university course Operative System Design