Our
history

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

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.