The TUD:OS (TU Dresden Operating Systems) group's objective is to reduce complexity for critical systems by orders of magnitude. To this end, we research, develop and use our own micro-kernel and virtualization technology. We use micro-kernels to componentise critical parts of systems and virtualisation to enable reuse of legacy software for uncritical parts.
It is our objective to combine ambitious systems research with profound education in operating systems and related areas. We try to push research and development far enough such that its results can be used outside of our group, for example by other research groups or as starting points for industrial partners. read more ...
August 2010: Our group published new prereleases of the NOVA microhypervisor and the user-level environment for NOVA (NUL). New features are the support for I/O virtualization and direct assignment of host devices to guest VMs. The root partition manager and the virtual-machine monitor (VMM) of NUL support several new features, e.g. VESA 2.0, SMP, new network card drivers, MSI/MSI-X, one-shot timer and much more ... More details can be found in the release notes. read more ...
July 2010: Successful participation at the "6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications" (OSPERT 2010). Our group published one paper - "Timeslice Donation in Component-Based Systems". read more ...
June 2010: Our group released a major revamp of our kernel Fiasco/L4 and the corresponding user-level infrastructure. The most fundamental change to Fiasco/L4 was the replacement of the good old L4 interface with a new one completely based on capabilities. To point out this major change we took the chance to rename the kernel to reflect the changes - Fiasco.OC. Another important step is the support of multi-processor systems and the support of hardware assisted virtualization with Fiasco.OC. The completely redesigned user-land environment running on top of Fiasco.OC is called L4 Runtime Environment (L4Re) and provides the framework to build multi-component systems, including client/server communication framework, common service functionality and popular libraries such as a C library, libstdc++ and pthreads. L4Linux, the multi-architecture virtualized Linux, has been brought up to date with L4Re. The release subsumes our work over the last two years. We consider L4Re and Fiasco.OC to be the successors of L4Env and Fiasco/L4.
More information about L4Re, Fiasco.OC and L4Linux can be found by selecting the according sub-menu on our research overview website.
We wish you a happy hacking and a hot summer. Stay tuned, your TUD:OS group. read more ...
e-mail contact form
