l4re源代码

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 manageme