Главная »
2014 »
Июль »
30 » Открыт код сверхнадёжного микроядра seL4
00:44 Открыт код сверхнадёжного микроядра seL4 |
| Компания General Dynamics C4 Systems и австралийский исследовательский центр NICTA открыли под свободными лицензиями исходные тексты микроядра seL4 (Secure Embedded L4), компоненты математического доказательства его надёжности и сопутствующий код для построения высоконадёжных операционных систем. Ядро открыто под лицензией GPLv2, а утилиты и работающий в пространстве пользователя код содержит как элементы под лицензией GPLv2, так и компоненты под лицензией BSD.
|
|
Просмотров: 185 |
Добавил: muge
| Рейтинг: 0.0/0 |