Adam Lackorzynski

L4Re is an operating system based on the L4Re microkernel. The development of the last 12 months has been driven by real-world requirements. Noteworthy features are power management capabilities and the ARM virtualization support.

In the first part of the talk we will give a brief overview of what's new in the L4Re OS followed by an update on the changes and improvements to the virtualization support we made over the last year.

In this talk we will present which changes and extensions to the L4Re microkernel system were required to actually ship L4Re in a commercial product. The talk will be a mix of an experience report and an overview of major features of the L4Re system.

The L4Re microkernel system, or L4Re in short, is a multi-tier system which is composed of the L4Re microkernel, the L4Re runtime environment and applications. L4Re aims at building sytems where components with different security mechanisms require strict isolation. Throughout the last two years L4Re has made the move from a mostly university-centric project into commercial systems.