L4Re Operating System Framework - Overview

The L4Re Operating System Framework provides the building blocks for creating custom operating systems with real-time, security, safety and virtualization features. Common deployments are the L4Re Hypervisor and L4Re Micro Hypervisor that form the base for a feature-rich virtualization platform for hosting workloads of general-purpose, real-time, security and safety kinds. It consists of a small kernel, a 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 as well as process-local and cross-process functionality.

The L4Re Operating System Framework is: Libraries, process-local and cross-process functionality: Services:

For more information, please refer to the L4Re documentation.