Разкриха сорс-кодовете на свръхнадеждното микроядро seL4
Компанията General Dynamics C4 Systems и австралийският изследователски център NICTA откриха със свободен лиценз сорс-кодовете на микроядрото seL4 (Secure Embedded L4). Това ядро е предназначено за създаване на изключително надеждни операционни системи. Сорсът на seL4 е достъпен с GPLv2 лиценз, а по...
Прочети още →