L4Re ist ein Open-Source-Framework für Betriebssysteme und Hypervisor, aufgebaut um einen L4-Mikrokernel und entwickelt von Kernkonzept. Es umfasst unter anderem den Mikrokernel, grundlegende Komponenten, Betriebssystemdienste und Bibliotheken und richtet sich an Automotive, sicherheitskritische Systeme, sichere Cloud-Infrastruktur und Embedded-Anwendungen. Außerdem gibt es einen Hypervisor und einen Mikro-Hypervisor für kleine MPU-Systeme. Das Framework läuft auf MPU- und MMU-Systemen und unterstützt Arm Cortex-A und Cortex-R sowie RISC-V. Der Quellcode ist über l4re.org und GitHub verfügbar; Kernkonzept bietet zusätzlich Beratung, Entwicklung, Support, Wartung und Schulungen an.
Die Kernkonzept GmbH ist ein mittelständisches Unternehmen in Dresden, das 2012 als Ausgründung der Technischen Universität Dresden entstand. Auf den eingesehenen Seiten wird keine ausländische Muttergesellschaft genannt. Seit dem 15. September 2025 steht L4Re unter der MIT-Lizenz statt unter GPLv2. Da Sie die Software selbst auf Ihrer eigenen Hardware einsetzen, gibt es keinen verpflichtenden Cloud-Dienst, und Ihre Daten bleiben unter Ihrer Kontrolle. Für europäische Organisationen ist L4Re eine europäische Option neben nordamerikanischen Embedded-Betriebssystemen wie QNX.