Technion's course: Operating Systems Engineering