Skip to content
Jakub Jermar edited this page Nov 8, 2019 · 5 revisions

The L4Re Operating System Wiki

The L4Re Runtime Environment is an operating system framework for building systems with real-time, security, safety and virtualization requirements. It consists of the L4Re hypervisor/kernel and a user-level infrastructure that includes basic services such as program loading and memory management. L4Re also provides the environment for applications, including libraries and process-local functionality.


Please see our detailed instructions on how to build L4Re.


We welcome contributions to L4Re. Please see our contributors guide on how to contribute.


You can’t perform that action at this time.