Страница 1 из 1

Открыт код сверхнадёжного микроядра seL4

Добавлено: 29 июл 2014, 11:30
[Ботя]
--------
Размещено: Сегодня, 09:20

Компания General Dynamics C4 Systems и австралийский исследовательский центр NICTA открыли под свободными лицензиями исходные тексты микроядра seL4 (Secure Embedded L4), компоненты математического доказательства его надёжности и сопутствующий код для построения высоконадёжных операционных систем. Ядро открыто под лицензией GPLv2, а утилиты и работающий в пространстве пользователя код кроме GPLv2 содержит элементы под лицензией BSD.

Подробнее...