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.

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…
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…
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…
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…

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.