Главная » 2014 » Июль » 30 » Открыт код сверхнадёжного микроядра seL4

---

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

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

1 2 3 4 5 Просмотров: 201 | Добавил: muge | Рейтинг: 0.0/0

Всего комментариев: 0