JavaScript ist deaktiviert. Für eine bessere Darstellung aktiviere bitte JavaScript in deinem Browser, bevor du fortfährst.

Linux Foundation gründet seL4 Foundation

Ersteller newsbot
Erstellt am 15.04.2020

newsbot

RSS Feed

15.04.2020

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.

Slimbook Fedora: Premium-Notebook mit vorinstalliertem Linux

Slimbook Fedora: Premium-Notebook mit vorinstalliertem Linux: Slimbook bietet seit der Gründung speziell auf Linux-Kompatibilität ausgelegte Notebooks und Desktop-PCs an. In Zusammenarbeit mit Fedora erscheint nun eine...

CachyOS ISO-Update: April-Fixup bringt OCCT und Bugfixes

CachyOS ISO-Update: April-Fixup bringt OCCT und Bugfixes: Die auf Arch Linux basierende und freie Linux Distribution CachyOS von Peter Jung erhält mit dem April-Update OCCT als festen Bestandteil der Live-Version...

Mesa 25.0: Vulkan 1.4 und RDNA 4 für Linux

Mesa 25.0: Vulkan 1.4 und RDNA 4 für Linux: Mit der Veröffentlichung von Mesa 25.0 besitzt der freie Linux-Treiber Vulkan- und OpenGL-Unterstützung für kommende RDNA 4 Grafikkarten. Auch steigt die...

Linux-News der Woche: Unraid 7, Raspberry Pi mit 16 GB, RGB für Radeons

Linux-News der Woche: Unraid 7, Raspberry Pi mit 16 GB, RGB für Radeons: Das für Heimserver ausgelegte Unraid 7 erhält ein Update auf Version 7 mit zahlreichen neuen Features. Durch Anpassungen von Schnittstellen wird die...

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

Arch Linux mit Tuning: CachyOS reizt moderne Prozessoren aus und erhält Update: CachyOS ist eine auf Arch Linux basierte Distribution. Im Gegensatz zum Vorbild, werden Bestandteile des Betriebssystems eigens Kompiliert und hierfür...