Kernkonzept develops the open-source L4Re operating systems and hypervisor for security/safety-critical and virtualization-enabled applications. The Dresden, Germany-based company provides software services for the security-sensitive, real-time, and embedded markets.
The microkernel-based L4Re system is built on the principle of a minimal Trusted Computing Base: minimize an application’s attack area by modularization and by reducing its dependencies.