This package contains the ham manifest which can be used to checkout and manage the L4Re operating system git repositories.
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 using the manifest in this repo.
- Building L4Re
- Running a Linux guest VM
- Running multiple Linux guest VMs
- Hardware pass-through to the VM
- Using the NVMe server with a Linux guest VM
- Demo of the L4Re Micro Hypervisor for MPU-based systems
We welcome contributions to L4Re. Please see our contributors guide on how to contribute.
The L4Re manifest is licensed under GPL-2.0-only unless you have received this package under a different license from Kernkonzept. The other L4Re repositories contain a LICENSE.spdx file with detailed license information. For more information please contact us at [email protected].