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.

We welcome contributions to L4Re. Please see our contributors guide on how to contribute.

• 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