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. Der Microkernel Sel4 gilt als vollkommen fehlerfrei und …
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. Der Microkernel Sel4 gilt als vollkommen fehlerfrei und …