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.