The L4Re Operating System Framework

Contents

The L4Re Operating System Framework#

L4Re is an open source, micro-kernel based operating system and hypervisor maintained by Kernkonzept.

About L4Re#

Designed for safety and security

Safety and security are first order design goals of the L4Re operating system framework. Instead of being an afterthought, the whole system is designed around this pillar.

From scratch

L4Re has been designed and developed from scratch.

Experience-rich

The first steps towards L4Re were made more than 25 years ago in 1997 at the TU Dresden. The time has lead to a concentration of experience which by now is bundled at Kernkonzept.

Open Source

The L4Re Operating System Framework is an open source system from the beginning. This is a cornerstone for building secure and sovereign systems, and gives you full control.

Framework approach

L4Re provides a breadth of components that can be mixed and matched as needed. This approach minimizes the amount of code involved to the required minimum, enabling effective safety and security systems.

Hypervisor

L4Re features a hypervisor to run virtual machines.

Scalability

The L4Re system scales from embedded systems up to high performance computing.

Real time

L4Re features a real-time scheduler and supports running real-time work loads in L4Re applications as well as virtual machines.