Den sel4-Kernel, eine erweiterte und stärker gesicherte Version des L4 Micro-Kernel, stellten die Firma General Dynamics C4 Systems und NICTA, das australische Information Communications Technology Research Centre of Excellence, jetzt unter eine Open-Source-Lizenz.
Der Kernel ist für den Einsatz in besonders gesicherten und hochverfügbaren Systemen gedacht. Die Entwickler behaupten, damit den weltweit ersten Betriebssystem-Kernel geschaffen zu haben, dessen Korrektheit .und Sicherheit der Implementierung durch einen Ende-zu-Ende-Test bewiesen sei. Darüber hinaus sei es auch der schnellste Mikrokernel auf den unterstützten Prozessoren, wenn man die Geschwindigkeit einer Nachrichtenübermittlung (IPC) zugrunde legt.
Der Kernel steht unter einer BSD-Lizenz. Er unterstützt ARMv6-, ARMv7-, und x86-Hardware (Intel Haswell, OMAP3, BeagleBoard bis zu Exynos ODROID).
