Kernkonzept develops the open-source L4Re operating system and hypervisor for security/safety-critical and virtualization-enabled applications. Based in Dresden, Germany, we provide software services for the security-sensitive, real-time, and embedded markets.
L4Re 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.
You can find more about Kernkonzept at: https://kernkonzept.com
You can find more about L4Re at: https://l4re.org
You can find the source code for L4Re at GitHub: kernkonzept