We engineer

Security

Wir entwickeln die optimale Lösung für Ihr Software-Produkt: Mit dem Mikrokern-basierten L4Re Operating System Framework und Hypervisor schaffen wir eine maßgeschneiderte, minimale Trusted Computing Base für Ihr Computersystem und erleichtern Security- und Safety-Zertifizierungen.

Wer wir sind

We engineer

Security

Wir entwickeln die optimale Lösung für Ihr Software-Produkt: Mit dem Mikrokern-basierten L4Re Operating System Framework und Hypervisor schaffen wir eine maßgeschneiderte, minimale Trusted Computing Base für Ihr Computersystem und erleichtern Security- und Safety-Zertifizierungen.

Wer wir sind

We engineer

Security

Wir entwickeln die optimale Lösung für Ihr Software-Produkt: Mit dem Mikrokern-basierten L4Re Operating System Framework und Hypervisor schaffen wir eine maßgeschneiderte, minimale Trusted Computing Base für Ihr Computersystem und erleichtern Security- und Safety-Zertifizierungen.

Wer wir sind

We engineer

Security

Wir entwickeln die optimale Lösung für Ihr Software-Produkt: Mit dem Mikrokern-basierten L4Re Operating System Framework und Hypervisor schaffen wir eine maßgeschneiderte, minimale Trusted Computing Base für Ihr Computersystem und erleichtern Security- und Safety-Zertifizierungen.

Wer wir sind

Unsere Firma

Mikrokernel "made in Germany"

Die Kernkonzept GmbH ist ein mittelständisches Unternehmen für sichere Virtualisierungs- und Betriebssystem-Technologie. Neben unserem Mikrokern-basierten L4Re-Betriebssystem-Framework beraten und betreuen wir auch Linux und andere Open-Source-Betriebssysteme. Unser multinationales Team sitzt in der Betriebssystem-Hauptstadt Dresden.

Mit einzigartigem Wissen und Erfahrung entwickeln unsere Systemingenieure Lösungen mit Echtzeitfunktionen und Virtualisierungsunterstützung für komplexe Softwareprodukte.

Wir beraten, begleiten und unterstützen Kunden in sicherheitsbewussten Branchen wie Automotive oder Avionik ebenso wie öffentliche Einrichtungen, Anbieter von Hochsicherheits- und Cloud-Security, Server und Embedded Systems.

Über uns
Sichern Sie Ihr System

Mit dem L4Re-Hypervisor können mehrere Anwendungen auf derselben Hardware ausgeführt werden, sicher getrennt. Kombinieren Sie Systeme mit unterschiedlichen Kritikalitäts- und Sicherheitsanforderungen, sogar separate Aktualisierungen sind möglich.

Schützen Sie Ihr Produkt

Die L4Re-Technologie wurde nach dem Prinzip "Security by Design" entwickelt. Durch die strikte Anwendung von POLA erfüllen wir höchste Anforderungen an die Cybersicherheit.

Vertrauen Sie Experten

Unsere Experten entwickeln maßgeschneiderte Lösungen für jeden Bedarf, schulen Ihre Mitarbeiter für das L4Re-Betriebssystem und bieten Support und Wartung während des gesamten Produktlebenszyklus.

Sparen Sie Zeit

Beschleunigen Sie Ihre Markteinführung mit unserer Open-Source-Sicherheitssoftware L4Re, deren vertrauenswürdige Datenbasis für Zertifizierungstests so klein wie möglich gehalten wird.

Skalieren Sie dank Flexibilität

Unser L4Re Operating System Framework kann auf allen Architekturen und Plattformen eingesetzt werden und unterstützt somit mehrere Produktlinien. Die Anwendungen reichen von Hochleistungsrechnern bis hin zu Mikroprozessoren.

Mikrokernel "made in Germany"

Sichern Sie Ihre Lieferketten mit Open-Source-Software, die in Deutschland entwickelt und maintained wird - inklusive kompletter SBOM in spdx.

Sichern Sie geheime Daten

Der L4Re Secure Separation Kernel ist vom BSI für die Verarbeitung von Verschlusssachen bis zur Stufe GEHEIM zugelassen und bietet Kunden damit immense Effizienzvorteile.

Unsere Geschichte

Woher wir kommen

Wir begannen als neugierige IT-Studenten, die einen Mikrokernel bauten, der in jeder Hinsicht anders ist. Aus dem Fiasco-Mikrokernel entwickelten wir L4Re: einen schlanken, flexiblen Mikrokernel mit Capabilities, samt Laufzeitumgebung und Mikro-Apps.

Drumherum entwickelten wir das gesamte L4Re-Betriebssystem, mit Laufzeitumgebung (die L4 mit Re vervollständigt), nativen Mikroanwendungen und Userland-Diensten. Einheitliche APIs bieten Sicherheit durch Design.

Mit wissenschaftlich fundierten Standards, menschlichen Werten und großer Hingabe für das Open-Source-Framework L4Re wurden wir zu einem renommierten Entwickler von Sicherheitssoftware. Wir geben unser Bestes, um das Beste zu liefern und die Welt besser und sicherer zu machen.

Unsere Geschichte
Kernkonzept L4Re Consulting Support

Beratung und Support

Wir minimieren Ihr Risiko

We comprehensively advise you on all matters concerning hardware design, system architecture, system security, and operating systems – from Linux® to L4Re.

Unsere erfahrenen Betriebssystem-Entwickler schaffen individuelle Lösungen für sicherheitskritische Anwendungen. Wir begleiten Sie und Ihr Produkt durch den gesamten Zertifizierungs- und Zulassungsprozess, z. B. ASIL oder EAL4.

Unser Service
Kernkonzept L4Re Open-Source

Sofort starten mit L4Re

Wir sind Open Source

Wir haben unsere L4Re-Technologie bewusst als Open Source gestaltet und lizenziert – genauer, unter der GNU General Public License, Version 2 (GPL v2).

Auf Wunsch bieten wir Ihnen für Ihre spezifische Anwendung die Lizenzierung als proprietäre Version (duale Lizenzierung).

Laden Sie L4Re herunter und profitieren Sie von der sofortigen Verfügbarkeit!

L4Re Github
Kernkonzept EU digital sovereignty

Öffentliche Cybersicherheit

Wir bieten der EU digitale Souveränität

Sichere vernetzte Geräte und Cloud-Sicherheit sind für die öffentliche IT unerlässlich.

Unser L4Re Betriebssystem-Framework und Hypervisor ist die Basis für die digitale Souveränität Deutschlands und der EU.

Es wird in diversen Produkten mit NATO SECRET-Einstufung verwendet und ist seit 2024 vom BSI zugelassen für die Verarbeitung von GEHEIM-Verschlusssachen.

Unsere Lösungen

Komplett neu entwickelt

Maßgeschneiderte TCB

Für Ihre sicheren Anwendungen haben wir das L4Re Operating System Framework von Grund auf neu entwickelt, um eine minimierte, speziell auf Ihr Produkt zugeschnittene Trusted Computing Base (TCB) zu gestalten.

Mit den Virtualisierungseigenschaften von L4Re und dem modularen Aufbau können wir jede Anwendung Ihres Computersystems in sichere Compartments verpacken und durch die strikte zeitliche und lokale Isolierung schützen.

So entwerfen wir für Sie ein System, das höchste Sicherheitsanforderungen erfüllt. Das funktioniert bis in die kleinste Einheit - die nativen L4Re Micro Apps, die es erlauben, hochkritische Komponenten auch ohne Betriebssystem ins System zu bringen.

Unser Betriebssystem nutzt mehrere unabhängige Sicherheitsebenen, um Ihre Architektur zu schützen, indem es jede Anwendung und jeden Dienst effektiv isoliert. So wird verhindert, dass sich ein Angriff ausbreitet.

Mit unserem Framework können wir anwendungsspezifische L4Re-Betriebssysteme und Hypervisoren für jeden Anwendungsfall entwickeln - maßgeschneidert für die Anforderungen sicherheitskritischer Anwendungen in der Automobilindustrie, der Avionik oder bei Sicherheitsbehörden.

L4Re-Anwendungsfälle

Minimal & sicher

Hochmoderner L4Re Mikrokernel

Die Gründer von Kernkonzept haben das L4Re Operating System Framework entwickelt, um das Prinzip des geringsten Privilegs zu verkörpern. Unser hochmoderner, Capability-basierter Mikrokernel und das gesamte Framework, von den Komponenten der Benutzerebene bis hin zu den Komponenten der Kernel-Ebene, bieten absolut sichere APIs - einheitlich für das gesamte System.

Die kleine, leichtgewichtige Codebasis des L4Re-Hypervisors kann formell verifiziert werden, um seinen Schutz zu gewährleisten.

Wir entwickeln L4Re seit Jahrzehnten, beginnend an der TU Dresden, und beteiligen uns regelmäßig an Forschungsprojekten, um unser System weiterzuentwickeln und neue Anwendungen und Funktionen zu erforschen.

Unsere Partner

Bereit zur Zertifizierung

Minimale TCB für maximale Sicherheit

Zertifizierung und Zulassung von Sicherheitssystemen sind komplex. Wie lange der Prozess dauert, lässt sich schwer voraussagen. Das treibt die Kosten hoch und verlangsamt die Markteinführung.

Mehr Codezeilen bedeuten einen komplexeren Zertifizierungsprozess, der auch die Fehlertoleranz eines Produkts erheblich beeinträchtigt. Im Durchschnitt kommen auf 1.000 Codezeilen bis zu 25 Bugs. Wir gestalten unsere Trusted Computing Base (TCB) so klein und gut strukturiert wie möglich. Mit rund 30.000 Zeilen ist unsere TCB wie Merkur im Verhältnis zur Sonne - die TCBs großer Unternehmen bestehen aus Millionen von Zeilen.

Klein, aber fein: Unsere minimale TCB liefert Ihnen maximale Sicherheit und Zuverlässigkeit. Das L4Re Betriebssystem vereinfacht die Zertifizierung wie Common Criteria/EAL4+, ISO 26262 oder ISO 15408 deutlich.

Modular, klein und leicht

Ein Framework für individuelle Systemlösungen

Das modulare, leichte L4Re Operating System Framework von Kernkonzept ist der Baukasten, aus dem die minimale Trusted Computing Base für Ihr Produkt entsteht.

Die Mikrokernel-Architektur bietet kleine und gut strukturierte vertrauenswürdige Komponenten, die eine vollständige Bewertung der Sicherheitseigenschaften des gesamten Systems ermöglichen.

Unser Betriebssystem gewährleistet die Trennung von Anwendungen und ermöglicht gleichzeitig flexible Arbeitslasten und die Rekonfiguration des Systems auch während der Laufzeit.

Minimieren Sie die Zahl der Zertifizierungszyklen, sparen Sie Zeit und Geld und erhalten Sie maximale Sicherheit.

Kunden

Die passende Lösung

Ihr eigenes L4Re-Betriebssystem

Sie produzieren Sicherheitsanwendungen für unternehmenskritische Umgebungen und vernetzte Geräte - wir sorgen dafür, dass diese sicher und störungsfrei genutzt werden können und vor Angriffen geschützt sind.

Unser skalierbares, mikrokernelbasiertes L4Re-Betriebssystem und unsere Hypervisor-Plattform sind das Herzstück eines zertifizierungsfähigen Softwaresystems, das Ihnen eine minimale Angriffsfläche, Echtzeitfunktionen und Virtualisierungsunterstützung bietet.

Das L4Re Operating System Framework und der Hypervisor schützen Ihre kritischen Anwendungen, unternehmenskritischen Umgebungen und angeschlossenen Geräte.

Entdecken Sie L4RE

KERNKONZEPT

We engineerSecurity.

Nach oben
Kontakt aufnehmen

Unternehmen

Anwendungen

L4Re Technologie

Services

Ressourcen