se4L, ein verifizierter sicherer Mikrokernel, erhält mit der seL4 Foundation seine eigene Organisation unter dem Dach der Linux Foundation. se4L ist für sicherheitskritische Echtzeitsysteme in Industrie, Militär und Verkehrswesen geeignet.
Quelle: https://www.pro-linux.de/news/…ndet-sel4-foundation.html