Based on the open-source L4Re technology we are developing and maintaining – a microkernel-based operating-system and hypervisor platform – we engineer customized system solutions with a minimal attack surface, real-time capabilities, and virtualization support. Together with our customers and partners we design and build complex software products for safety-, security-, and mission-critical applications, often requiring certification or accreditation. Our highly experienced operating-system engineers tailor these solutions to the special needs of the automotive, high-assurance-security, and embedded markets. Kernkonzept GmbH is an SME based in Dresden, Germany. We started in 2012 as a spin-off founded by former TU Dresden students and have grown into a renowned specialist for secure and safe virtualization with our L4Re Operating System Framework and Hypervisor.