1 Gregor Schmidt Origins of Operating Systems - The Microkernel Mach Betriebssysteme und Middleware / Prof. Andreas Polze Hasso-Plattner-Institut 1 Seminar.