Sel4: Fehlerloser Microkernel unter der GPL freigegeben

- Der von der National ICT Australia mitentwickelte Microkernel Sel4 steht ab sofort unter der GPL. Er wurde durch mehrere Testverfahren als vollständig fehlerfrei eingestuft. (Linux, Darpa)

Quelle: Sel4: Fehlerloser Microkernel unter der GPL freigegeben

zurück