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

Ähnliche Themen

Slimbook Fedora: Premium-Notebook mit vorinstalliertem Linux

Arch Linux mit Tuning: CachyOS reizt moderne Prozessoren aus und erhält Update

Gnome 47 Denver: Der Linux Desktop treibt es bunt

Linux auf Apple Silicon: Vulkan Gaming auf Apples M1-Chip

Liebesgrüße aus Washington: Valve und Arch Linux arbeiten zusammen

Zurück
Oben