Linux Foundation gründet seL4 Foundation

newsbot

newsbot

RSS Feed
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.

Weiterlesen...
 
Anmelden, um zu antworten.

Ähnliche Themen

Open-Source-Malprogramm: Krita 5.1.0 für Windows, macOS und Linux erschienen (Update)
Open-Source-Malprogramm: Krita 5.1.0 für Windows, macOS und Linux erschienen (Update): Das mächtige Open-Source-Grafik- und Malprogramm Krita, das von der vom KDE e.V. unterstützten und zum KDE-Projekt gehörenden Krita Foundation herausgegeben...

Open-Source-Malprogramm: Krita 5.1.0 für Windows, macOS und Linux erschienen
Open-Source-Malprogramm: Krita 5.1.0 für Windows, macOS und Linux erschienen: Das mächtige Open-Source-Grafik- und Malprogramm Krita, das von der vom KDE e.V. unterstützten und zum KDE-Projekt gehörenden Krita Foundation herausgegeben...

Microsoft Pluton: Security-Chip lässt Linux nicht auf das Lenovo Z13 und Z16
Microsoft Pluton: Security-Chip lässt Linux nicht auf das Lenovo Z13 und Z16: Wie der Programmierer Matthew Garrett, der für seine Arbeiten an Secure Boot, UEFI und Linux von der Free Software Foundation (FSF) mehrfach mit dem...

Windows, macOS und Linux: Krita 5.1 und digiKam 7.7 für alle Plattformen erschienen
Windows, macOS und Linux: Krita 5.1 und digiKam 7.7 für alle Plattformen erschienen: Neue Versionen der beiden Open-Source-Projekte Krita und digiKam sind für die Plattformen Windows, macOS und Linux erschienen. Während es sich bei dem von...

LibreOffice 7.2.3 erschienen: Entwickler beheben zahlreiche Fehler der freien Office-Suite [Notiz]
LibreOffice 7.2.3 erschienen: Entwickler beheben zahlreiche Fehler der freien Office-Suite [Notiz]: Die Entwickler von „The Document Foundation“, der gemeinnützigen Organisation hinter der kostenlosen Programmsammlung, haben LibreOffice 7.2.3...

Neueste Themen

Zurück
Oben