The main focus of the operating systems chair is on micro-kernel-based operating systems, based on the L4 kernel family. Members of the chair have built L4/Fiasco, the first High-Level-Langage implementation of an L4-interface which is also the longest continuously available maintained version of L4. The team has also pioneered a technique to run a common off the shelf operating system as a user-level server on top of microkernel which allows to encapsulate legacy software in a secured box.
The group works on Real-Time and High-Security systems. Hermann Härtig leads a project with international participation to build an operating system for high performance super computers of the next generation. It participates in the HAEC Collaborative Research Center and the cfAED cluster of excellence. It closely interacts with operating system-related industry in and around Dresden, one of the largest concentrations on operating system technology in Germany.
Additional information is accessible at os.inf.tu-dresden.de/.