Der als sicher geprüfte Mikro-Kernel seL4, der in kritischen Bereichen zum Einsatz kommt, erhält Unterstützung durch eine Stiftung. Die Linux Foundation nimmt diese Stiftung unter ihr Dach.
Gegründet hat die Stiftung Data61, das als digitaler Arm der australischen nationalen Wissenschaftseinrichtung CSIRO gilt. Zu den Gründungsmitgliedern zählen das Cybersecurity-Unternehmen Cog Systems, die Entwicklungsfirma Dorner Works, der KI-Spezialist Ghost Locomotion, der Security-Experte Hensold Cyber und die Universität UNSW Sydney.
Ziel der Stiftung ist es, die Entwicklung von seL4 und zugehörigen Technologien voranzubringen. Die Linux Foundation biete dafür ein weltweit anerkanntes und unabhängiges Dach für die Steuerung der Entwicklung und der Finanzierung. Die Verlässlichkeit von Embedded-Systemen sei unerlässlich, wenn es um den Einsatz in kritischen Bereichen gehe, teilt die Linux Foundation mit. Der seL4-Mikrokernel sei für solche Systeme gedacht, die etwa in autonomen Fahrzeugen, in der Medizintechnik, der Luftfahrt und in Infrastrukturen des Militärs zum Einsatz kommen. Ein Blogpost erläutert weitere Details zu den Gründen für eine übergeordnete Stiftung.
