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.