Course on Operating Systems