Technion's course: Operating Systems Engineering A course I studied last year. I will upload files soon.