Микроядрото seL4 стана достъпно с отворен код
General Dynamics C4 Systems и NICTA публикуваха сорс кода на сигурното ядро, предназначено за критични системи Компанията General Dynamics C4 Systems и австралийският изследователски център NICTA са отворили сорс кода на микроядрото seL4 (Secure Embedded L4), съобщава източникът. Кодът е достъпен по...
Прочети още →