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.
Solution Briefs
-
L4Re Operating System and Hypervisor FrameworkThe open-source L4Re OS Framework ensures secure & safe isolation from the lowest software level. Its virtualization & hypervisor features, as well as L4Re applications, provide maximum flexibility while maintaining security & safety isolation.
Learn More
Insights
-
Arm Tech Talk Safe and secure heterogeneous compute with L4Re
This Arm Tech Talk discusses how a common software architecture for Arm Cortex-A and Cortex-R processors is the key to flexibly build safe and secure system architectures: the L4Re Hypervisor and L4Re Micro Hypervisor.
Learn More -
Whitepaper The L4Re Micro Hypervisor: Employing Virtualization on MPU based Processors
In this whitepaper, Dr.-Ing. Adam Lackorzynski and Jan Klötzke from Kernkonzept GmbH are discussing use-cases for the L4Re Micro Hypervisor as a scalable solution that supports both AArch32 and AArch 64, as well as MPU-based systems.
Learn More -
News BSI grants German GEHEIM approval for Kernkonzept’s L4Re Secure Separation Kernel
The operating system L4Re Secure Separation Kernel has been approved by the German Federal Office for Information Security (BSI) for the processing of classified information up to classification level German GEHEIM.
Learn More