Kernkonzept
Geschichte

Seit mehr als 10 Jahren bieten wir höchste Sicherheit mit unserem L4Re Betriebssystem-Framework und Hypervisor.

Schritt für Schritt

Unsere Story

Kernkonzept wurde 2012 gegründet, um sichere Betriebssysteme auf Basis der Open-Source-Technologie L4Re zu entwickeln. Diese Zeitleiste zeigt wichtige Meilensteine auf unserem Weg vom Start-up zu einem etablierten Unternehmen im Bereich der Mikrokern-basierten Sicherheitssoftware.

2012

Gründung

Adam Lackorzynski, Michael Hohmuth und Alexander Warg gründen Kernkonzept.
2013

Simko3

Das BSI erteilt die Zulassung für das Simko3 Handy. Wir stellen unsere ersten beiden Mitarbeiter ein.
2014

Büro in Dresden

Kernkonzept bezieht seinen Hauptsitz in der Buchenstraße im Norden Dresdens.
2015

Erster L4-Entwickler

Jean ist der erste L4-Entwickler bei Kernkonzept. Unsere Q&A-Infrastruktur wird aufgebaut.
2016

GEHEIM-Zulassung

Das infodas SDoT Security Gateway 6 mit L4Re wird vom BSI für den Einsatz bis GEHEIM klassifiziert.
2017

Elektrobit-Partnerschaft

Gemeinsam mit Elektrobit entwickeln wir den EB corbos Hypervisor, basierend auf dem L4Re Hypervisor.
2018

Kernkonzept tritt EPI bei

Wir portieren das L4Re Framework auf die Automotive eHPC-Plattform der Europäischen Prozessorinitiative (EPI).
2019

Eingewöhnung

Unser Hauptquartier in der Buchenstraße wird für unser wachsendes Team eng, also verdoppeln wir es.
2020

embedded world

Wir präsentieren uns mit einem eigenen Stand auf der embeddedworld in Nürnberg.
2022

Meilenstein: 10 Jahre

Mit einem Rebrand und Relaunch von Website und CI feiern wir unser 10. Jubiläum.
2023

L4Re Micro Hypervisor

Der L4Re Micro Hypervisor für MPU-basierte Systeme ergänzt die L4Re Hypervisor-Familie.
2024

L4Re ist GEHEIM

BSI lässt den L4Re Secure Separation Kernel VS 1.0.1 für GEHEIM und NATO SECRET zu.
2025

CC EAL4+ für L4Re

Der L4Re Secure Separation Kernel CC 1.0.1 erhält die Common Criteria EAL4+ Zertifizierung.
Blick in die Zukunft: formale Verifizierung für L4Re

Blick in die Zukunft: formale Verifizierung für L4Re

Unser open-source L4Re Operating System Framework wurde vor mehr als einem Jahrzehnt entwickelt, und unsere Systemingenieure arbeiten ständig an seiner Verbesserung. Eines unserer wichtigsten Zukunftsprojekte ist die formale Verifizierung ...
Mehr lesen
SiMKo 3: Das Krypto-Handy, mit dem Kernkonzept begann

SiMKo 3: Das Krypto-Handy, mit dem Kernkonzept begann

Der erste Kunde, das erste Projekt hat immer eine besondere Bedeutung. Das gilt erst recht für Kernkonzept: Unser erstes Projekt führte direkt zur Gründung des Unternehmens. Grund genug, SiMKo 3 hier näher vorzustellen.
Mehr lesen
10 Jahre Kernkonzept: Unsere Geschichte

10 Jahre Kernkonzept: Unsere Geschichte

Seit 10 Jahren bietet Kernkonzept professionellen Service um die Open-Source Software L4Re. Zeit zum Feiern und Zeit für einen Rückblick! Alles begann mit drei IT-Studenten an der TU Dresden...
Mehr lesen
Ein persönlicher Rückblick unseres CTO Adam

Ein persönlicher Rückblick unseres CTO Adam

Vor über 20 Jahren wollte ich lediglich einen traditionellen UNIX-Server administrieren, was Prof. Hermann Härtig in der Grundvorlesung zum Betriebssystem anbot. Ich hatte sicher nicht vor, CTO zu werden...
Mehr lesen

Kontakt aufnehmen

Sie möchten mehr wissen?

Wir versorgen Sie gern mit Hintergrundinformationen über unser L4Re Betriebssystem-Framework und unsere Firma.

KERNKONZEPT

We engineerSecurity.

Nach oben
Kontakt aufnehmen

Unternehmen

Anwendungen

L4Re Technologie

Services

Ressourcen