TUD:OS - TU Dresden Operating Systems - ein paar Unentwegte halten die Idee des Mikrokernels weiter hoch. Gut so!