developing and maintaining the l4re operating system framework and hypervisor family
kernkonzept develops the open-source l4re operating system framework and hypervisor for security/safety-critical and virtualization-enabled applications. we are based in dresden, germany, and provide 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. impressum / imprint: https://www.kernkonzept.com/impressum.html