Unsere Firma

Microkernel made in Germany

Kernkonzept GmbH is a midsize company providing secure and safe virtualization and operating-system technology. In addition to our microkernel-based L4Re Operating System Framework, we also offer comprehensive services around Linux and other open source operating systems. Our multinational team is based in Dresden, the capital of operating systems.

Mit unübertroffenem 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.

Unsere Geschichte

Woher wir kommen

At first, there were some curious IT students who built a microkernel that was different in every aspect. Out of the Fiasco microkernel we developed the L4Re Microkernel: a lean, flexible microkernel with capability-based access control.

Simultaneously, we created the whole L4Re Operating System, including the runtime environment (completing L4 with Re), native micro apps and many userland services. Our system has uniform APIs, providing security by design.

With science-based standards, human values and a fierce love for the open-source framework L4Re we have grown into a renowned security software developing company. We are striving to do our best for you and your products, making the world better – as in safer and more secure.

Kernkonzept L4Re Consulting Support

Beratung und Support

We minimize your risks

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.

Kernkonzept L4Re Open-Source

Sofort starten mit L4Re

Wir sind Open Source

We have deliberately decided to make and keep our L4Re Operating System Framework available under open source license (GPL v2).

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

Download L4Re and benefit immediately from instant availability!

Kernkonzept EU digital sovereignty

Öffentliche Cybersicherheit

We provide EU digital sovereignty

The L4Re technology protects safety-critical applications and supply chains. Secure connected devices and cloud security are vital for public cyber security.

Our microkernel-based L4Re OS Framework and Hypervisor is a solid base for German and EU digital sovereignty, being already used in several NATO-secret certified products.

Komplett neu entwickelt

Maßgeschneiderte TCB

For your safe and secure applications we designed the L4Re Operating System Framework from scratch – being able to create a minimal trusted computing base (TCB), customized specifically for your product.

L4Re’s virtualization properties and the modular structure allow us to wrap every application of your computing system in safe compartments, giving protection through the strict temporal and local isolation.

In that way we design a system for you that meets highest security requirements. This works down to the smallest unit – the native L4Re MicroApps that allow to bring highly critical components into the system even without an operating system.

Our operating system uses multiple independent compartments to defend your architecture by effectively isolating each app and service to prevent an attack from spreading.

With our framework we can develop application specific L4Re Operating Systems and Hypervisors for any use-case – tailor-made uniquely for the demands of safety-critical applications in automotive, avionics, or security agencies.

Minimal & sicher

Hochmoderner L4Re Mikrokernel

The founders of Kernkonzept designed the L4Re Operating System Framework to embody the Principle of Least Privilege. Our state-of-the-art, capability-based L4Re Microkernel and the whole framework range from user level to kernel level components, providing you with absolutely secure APIs – uniform across the whole system.

The small, lightweight code base of the L4Re Hypervisor can be formally verified to guarantee its protection.

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.

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.

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.