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:- multi-platform and multi-architecture, including x86, ARM, MIPS, and RISC-V
- modular
- open-source
- virtualization aware and flexible by providing multiple virtualization options
- C library with pthreads and shared libraries
- libstdc++, fully features STL
- Virtual file-system infrastructure
- C and C++ environment
- Client/Server and communication frameworks
- Scriptable program and system management
- Input/Output drivers
- Virtual machines / Hypervisor
- Platform and device management, including ACPI and PCI
- Input/output multiplexing, including graphics
For more information, please refer to the L4Re documentation.