L4Re

L4Re - Overview

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/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:

• multi-platform and multi-architecture, including x86, ARM and MIPS
• modular
• open-source
• virtualization aware and flexible by providing multiple virtualization options

Libraries and process local functionality:

• C library with pthreads and shared libraries
• libstdc++, fully features STL
• Virtual file-system infrastructure
• C and C++ environment
• Client/Server and communication frameworks

Services:

• 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.

---

Last modified: Tue Mar 30 2021, 00:24:09 CEST

webmaster