Welcome to Kernkonzept!

Building trust and security

Kernkonzept develops the open-source L4Re operating system and hypervisor for security/safety-critical and virtualization-enabled applications. Based in Dresden, Germany, we 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 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.

Talk to us and make your product ready for the next digital age!


embedded world 2020 - Kernkonzept is exhibiting the first time
February 2020

Kernkonzept is exhibiting at embedded world 2020 the first time. Visit us at our booth in Hall 4 / 4-350. We are looking forward to talk about security and safety challenges and solutions in the embedded world.

Meet Kernkonzept at Omnisecure in Berlin
January 2020

Kernkonzept is exhibiting and giving a talk at Omnisecure 2020, the most important congress on secure smart-ID solutions in Germany. Talk to us at our booth or hear Michael Hohmuth lecturing about securing sensitive data in open payment solutions.

Visit Kernkonzept at ESE Kongress 2019
December 2019

Kernkonzept will be an exhibitor and presenter at ESE Kongress 2019, Germany’s largest meeting of embedded-software engineers. We will discuss how to secure industrial, medical, and automotive systems with the trusted microkernels and virtualization. Visit our booth, and attend Michael Hohmuth’s talk on Tuesday: “Certified safety and security with the L4Re Microhypervisor. Open Source and certification – no contradiction”.

Kernkonzept at 50th anniversary of computer-science education at TU Dresden
June 19

Kernkonzept presents at the festivities commemorating the 50-year CS education anniversary at TU Dresden. There will be a talk and a podium discussion celebrating Dresden as one of the most important operating-systems development locations in Europe. (full program)

Kernkonzept exhibiting at BSI IT Security Congress
May 2019

Kernkonzept is excited to present its solutions at the BSI IT Security Congress, a biennial event organized by the German Federal Office for Information Security (BSI). Visit our and our customers’ booths at the accompanying exhibition.

Kernkonzept and Elektrobit at Automotive Grade Linux All Members Meeting
October 2018

Kernkonzept and Elektrobit showcase their hypervisor solution for cars there and give a presentation about using an open-source microhypervisor for automotive applications.

Kernkonzept is hiring
April 2017

We see a growing demand for our L4Re microhypervisor in connected devices in embedded, industrial, avionic, and automotive use cases with strong safety and security requirements. Help us the trusted open-source operating system powering these applications. Have a look at our open job postings!

New open-source release of L4Re operating system
August 2016

Kernkonzept has released a new version of the L4Re Operating System. This release adds support for the MIPS64 architecture. Please find more details and a list of changes on the release page.

L4Re operating system adds support for MIPS architecture
May 2016

Kernkonzept announces a new open-source release of its L4Re Operating System that includes support for Imagination Technologies’ MIPS architecture, including support for MIPS’ virtualization architecture VZ. The MIPS port is supported by Imagination Technologies. Please find more details and a list of changes on the release page.

Kernkonzept joins the prpl Foundation
March 2015

Kernkonzept has joined the prpl Foundation. We are a founding member of the prpl Virtualization & Security working group and will update the L4Re system to add support for the MIPS architecture in a future release.

Kernkonzept at FOSDEM ‘15
January 31st & February 1st, 2015

Kernkonzept is going to participate at FOSDEM ‘15. We are happy to announce our talk Facing the Reality: What’s new in the L4Re Operating System in the Microkernel devroom on Sunday, February 1st, 2015 at 1:45 p.m.

We are looking forward to meet you there.

genua presents cyber-top security laptop – L4Re inside
November 2014

genua has released their new secure mobile computing solution cyber-top, a laptop computer based on the L4Re System providing strict isolation between multiple security-sensitive application areas.

L4Re-based mobile security solution wins Third Prize at German Prize for IT Security 2014
October 2014

The L4Re Microkernel-based mobile security solution co-developed by TU Dresden, T-Systems, Trust2Core, and Kernkonzept has been awarded a Third Prize at the award presentation ceremony for the Fifth German Prize for IT Security 2014.

Older News

Please find older news articles in our news archive.


Please visit our download instructions and give the L4Re system a try.

Follow us