seL4-Mikrokernel im Quellcode veröffentlicht

newsbot

newsbot

RSS Feed
National ICT Australia (NICTA) hat den Microkernel »seL4« unter eine Open-Source-Lizenz gestellt. Der Kernel zeichnet sich vor allem durch seine Sicherheit aus und wurde unter anderem formal auf Korrektheit geprüft.

Weiterlesen...
 

Ähnliche Themen

Proxmox VE 6.1 veröffentlicht

Keine grafische Oberfläche (Debian Installation)

Bulgarien plant Open-Source-Archiv

Facebook veröffentlicht Spezifikation von Hack

Designdateien von OpenPandora veröffentlicht

Zurück
Oben