L4Re - Overview

The L4Re Operating System Framework provides the building blocks for creating systems with real-time, security, safety and virtualization requirements. It consists of the L4Re microkernel and a user-level infrastructure that includes basic services such as program loading and memory management up to virtual machine management. L4Re also provides the environment for applications, including libraries and process-local functionality.

L4Re is: Libraries and process local functionality: Services:

For more information, please refer to the L4Re documentation.