Kernkonzept
history

We are proud of more than 10 years of providing safety and security with our L4Re Operating System Framework and Hypervisor.

Step by step

Our Story

Kernkonzept was founded in 2012 to develop secure operating systems based on the open-source L4Re technology. This timeline highlights the key milestones in our journey from a small startup to an established player that is leading the field of microkernel-based security software.

2012

Foundation

Kernkonzept is founded by Adam Lackorzynski, Michael Hohmuth and Alex Warg.
2013

Simko3

The BSI accredits the Simko3 crypto cellphone. Kernkonzept hires the first 2 employees.
2014

Dresden Office

Kernkonzept moves into its own headquarter in Buchenstraße in the north of Dresden.
2015

First L4Re developer

Jean is the first L4 developer in the company. Our Q&A infrastructure is formed.
2016

GEHEIM classification

BSI accredits the Infodas SDoT Security Gateway 6 with L4Re inside for use up to classification level GEHEIM.
2017

Elektrobit partnership

We are working with Elektrobit to develop the EB corbos Hypervisor, based on the L4Re Hypervisor.
2018

Kernkonzept joins EPI

We port the L4Re Framework to the Automotive eHPC platform of European Processor Initiative (EPI).
2019

Settling in

Our headquarter in Buchenstraße gets crowded as our team grows, so we are more than doubling our office size.
2020

embedded world

We are hosting our own booth at embeddedworld exhibition in Nuremberg, just befor the Covid lockdowns start.
2022

10 Years Milestone

With a rebrand and relaunch of our website and CI we are celebrating our 10 years anniversary.
2023

L4Re Micro Hypervisor

The L4Re Micro Hypervisor for MPU-based systems joins the L4Re Hypervisor family.
2024

L4Re is GEHEIM

BSI approves the L4Re Secure Separation Kernel VS 1.0.0 for classification level GEHEIM and NATO SECRET.
2025

CC EAL4+ for L4Re

The L4Re Secure Separation Kernel 1.0.1 gets Common Criteria EAL4+ certification.
Looking further: getting formal verification for L4Re

Looking further: getting formal verification for L4Re

While our open-source L4Re Operating System Framework was originally developed more than a decade ago, our system engineers are steadily working to improve it. One of our most important future projects is formal verification of the…
Read More
SiMKo 3: The Crypto Cellphone that got Kernkonzept started

SiMKo 3: The Crypto Cellphone that got Kernkonzept started

The first customer, the first project always has a special meaning. This is even more true for Kernkonzept: Our first project led directly to the foundation of the company. Reason enough to present SiMKo 3 in…
Read More
10 Years Kernkonzept: Our history

10 Years Kernkonzept: Our history

For 10 years Kernkonzept has been offering professional service around the open-source software L4Re. Time to celebrate and time for a look back! In the beginning there were 3 IT students from TU Dresden who wanted…
Read More
A personal look back from our CTO Adam

A personal look back from our CTO Adam

Over 20 years ago I was merely being interested in administrating a traditional UNIX server, offered by Prof. Hermann Härtig in the basic operating system’s lecture. I surely didn’t plan on becoming CTO of a renowned…
Read More

Get in touch

Do you want to know more?

We are happy to provide you with background and technical information about our L4Re Operating System Framework and our company.

KERNKONZEPT MAILING LIST

Almost there!

To complete your subscription, please check your inbox for a confirmation email. Click the link in the email to confirm your subscription. If you don’t see the confirmation email in your inbox, make sure to check your spam or junk folder.

Download

Almost there!

Thank you for your interest in our work. After your free download, we would love to hear your opinion about it. Feel free to contact us per mail or on LinkedIn!

Download PDF