Chair of Operating Systems
The German Collegiate Programming Contest (GCPC) is a national programming competition, where teams of students develop solutions to algorithmic problems. Participating teams can qualify for follow-up international competitions. If you are interested, please contact Maksym Planeta at the Operating Systems group. read more ...
On June 9, Imagination Technologies and Kernkonzept announced the availability of the L4Re microkernel system for the MIPS architecture, supporting the recently introduced hardware virtualization functionality. read more ...
The L4Re operating system, base of the secure system design for smartphones and co-developed by TUD:OS, Kernkonzept, Trust2Core and T-Systems is among the winners of the 2014 German IT Security Award sponsored by Horst-Goertz-Stiftung. read more ...
The OS Chair hosted the 2014 Spring Meeting of the German Society for Informatics' Interest Group on Operating Systems. read more ...
At [FOSDEM 2014](https://fosdem.org/2014/) in Brussels the OS group will host the 'Microkernel and Component-based Operating Systems' devroom. FOSDEM provides a forum for open source enthusiasts to collaborate. Each year the microkernel devroom brings together hackers of all spectrums of the microkernel community. Check out the Call for Participation, if you are interested: read more ...
TU Dresden's L4/Fiasco.OC and L4Re form the operating system basis for the new [SiMKo 3 high-security smart phone](http://www.telekom.com/medien/loesungen-fuer-unternehmen/200140). read more ...
Together with our colleagues from TU Dortmund, Horst Schirmeier and Michael Engel, we presented a paper on the Workshop on Design for Reliability at HiPEAC 2013 conference in Berlin: "Investigating the Limitations of PVF for Program Vulnerability Analysis". The poster accompanying the paper was awarded a Best Poster Award by the conference organizers. read more ...
Marcus Hähnel presented our paper "Measuring energy consumption for short code paths using RAPL" at the 2012 Greenmetrics workshop, colocated with the SIGMETRICS 2012 conference. The paper discusses using Intel's RAPL energy performance counters for determining the energy consumption of short-running code paths, such as decoding a single slice of an H.264 video.
Our group - TUD:OS - released the Linux user space version of our Device Driver
February 2012: Successful participation at the "Design, Automation & Test in Europe" (DATE 2012). Our group presented two posters - "ASTEROID - Analyzable, Resilient Real-Time Operating System Design" and "Towards Characterizing Video Decoding Complexity as Energy-Utility Functions" read more ...
August 2011: New prerelease versions of the NOVA microhypervisor  and its user-level environment NUL  are now available for download under the terms of the GNU GPLv2. NOVA is a modern microhypervisor that uses hardware virtualization features to run virtual machines with near-native performance. It also hosts the NOVA Userland (NUL), a multiserver environment featuring a deprivileged virtual machine monitor.
February 2011: New prerelease versions of the NOVA microhypervisor  and its user-level environment NUL  are now available for download under the terms of the GNU GPLv2. NOVA is a modern microhypervisor that uses hardware virtualization features to run virtual machines with near-native performance. It also hosts the NOVA Userland (NUL), a multiserver environment featuring a deprivileged virtual machine monitor. The new release brings virtual-machine support to QEMU and older AMD CPUs, both of which lack nested paging. The Demo CD  now comes with several virtual machines ready to try, including a GRML Live CD.
February 2011: The TUD:OS group is now part of the Many-core Applications Research Community , founded by Intel to foster research of future emerging highly parallel computing platforms. We gain access to the Single-Chip Cloud Computer (SCC) experimental processor , which is a 48-core 'concept vehicle' created by Intel Labs as a platform for many-core software research.
October 2010: Successful participation at the "Twelfth Real-Time Linux Workshop 2010" (RTLWS 2010). Our group published three papers - "ARM TrustZone as a Virtualization Technique in Embedded Systems", "Generic Virtualization with Virtual Processors" and "Towards Modular Security-Conscious Virtual Machines". read more ...
September 2010: Successful participation at the "ARTIST Summer School Europe 2010". Our group presented a survey of technology developed by us. 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.
June 2010: Successful participation at "The Ninth Workshop on the Economics of Information Security" (WEIS 2010).
April 2010: Successful participation at EuroSys 2010 conference and at co-located workshops.
April 2010: Restructuring of our download section. Various demos of our group are spread all
March 2010: Successful participation at the international conference on Virtual Execution Environments
Phone: +49 (0) 351 463-38282
Fax: +49 (0) 351 463-38284
e-mail contact form
Phone: +49 (0) 351 463-38281
Fax: +49 (0) 351 463-38284
e-mail contact form
9.00 AM to 3.00 PM