L4Re est un framework open source de système d'exploitation et d'hyperviseur construit autour d'un micronoyau L4 et développé par Kernkonzept. Il comprend notamment le micronoyau, les composants de base, les services système et les bibliothèques, et vise l'automobile, les systèmes critiques pour la sécurité, l'infrastructure cloud sécurisée et l'embarqué. Un hyperviseur et un micro-hyperviseur pour petits systèmes MPU existent aussi. Le framework fonctionne sur systèmes MPU et MMU et prend en charge Arm Cortex-A, Cortex-R et RISC-V. Le code source est disponible sur l4re.org et GitHub ; Kernkonzept propose aussi conseil, développement, support, maintenance et formations.
Kernkonzept GmbH est une entreprise de taille moyenne basée à Dresde (Allemagne), issue en 2012 de l'Université technique de Dresde. Aucune maison mère étrangère n'est mentionnée. Depuis le 15 septembre 2025, L4Re est publié sous licence MIT au lieu de GPLv2. Comme vous déployez le logiciel vous-même sur votre matériel, aucun service cloud n'est imposé et vos données restent sous votre contrôle. C'est une option européenne face à des systèmes embarqués nord-américains comme QNX.