Kernkonzept GmbH

Kernkonzept entwickelt das L4Re Operating System. Das Open-Source-Mikrokernbetriebssystem wird überall dort eingesetzt, wo kritische und unkritische Anwendungen gleichzeitig betrieben werden. Mit unseren Kunden bauen wir hochsichere Systeme für Regierungslaptops, Smart-Home-Geräte, sichere Netzwerktechnik oder für das Auto oder Flugzeug. Darüber hinaus weisen wir die Vertrauenswürdigkeit der L4Re-Technologie auch mit formalen Methoden nach.

Branche
Betriebssystem-Software / IT-Dienstleistung
Mitarbeiteranzahl
27
Hauptsitz
Dresden