L4Re is een open-source framework voor besturingssystemen en hypervisors, gebouwd rond een L4-microkernel en ontwikkeld door Kernkonzept. Het bestaat uit onder meer de microkernel, kernonderdelen, OS-diensten en bibliotheken, en is bedoeld voor automotive, beveiligingskritische systemen, veilige cloudinfrastructuur en embedded toepassingen. Er is ook een hypervisor en een micro-hypervisor voor kleine MPU-systemen. Het framework draait op MPU- en MMU-systemen en ondersteunt Arm Cortex-A en Cortex-R en RISC-V. De broncode is beschikbaar via l4re.org en GitHub; Kernkonzept biedt daarnaast advies, ontwikkeling, ondersteuning, onderhoud en trainingen.
Kernkonzept GmbH is een middelgroot bedrijf in Dresden (Duitsland), in 2012 voortgekomen uit de Technische Universiteit Dresden. Op de bezochte pagina's wordt geen buitenlandse moedermaatschappij genoemd. Sinds 15 september 2025 valt L4Re onder de MIT-licentie in plaats van GPLv2. Omdat u de software zelf op uw eigen hardware inzet, is er geen verplichte clouddienst en blijven uw gegevens onder uw eigen beheer. Voor Europese organisaties is dit een Europees alternatief naast Noord-Amerikaanse embedded-besturingssystemen zoals QNX.