Today’s systems are increasingly packed with features. They are also increasingly exposed to threats such as malware, data breaches, and spying. At Kernkonzept, we believe
in a proper system design to alleviate the increasing threats in the digital world. We develop and maintain the open source L4Re Operating System and Hypervisor Framework.
The microkernel-based Operating System Framework is built on the principle of a minimal trusted computing base (TCB) and provides various benefits for your software product:
- Minimize your application’s potential for failure and attacks by modularization and by reducing its dependencies.
- Isolate components in secure compartments and virtual machines.
- Reuse your legacy systems as untrusted components.
The L4Re Microkernel and the L4Re Hypervisor are the heart of the L4Re-Betriebssystem-Framework, functioning as a hypervisor, separation kernel, and real-time microkernel. It features a modular design which provides fault isolation. Critical functionality is moved out of the kernel into encapsulated user-mode applications which are subject to the object-capability-based access control mechanism.
Learn more about the L4Re Hypervisor Family and explore their multiple use-cases in our comprehensive 2-page data sheet!
