Фонд Linux устанавливается для размещения новых глобальных не-для-некоммерческая организация, учрежденная Data61 на набережной поощрять и финансировать развитие своей безопасности микроядро, seL4.

Защищенный встроенный Л4 (seL4) микроядро разработан Data61, чтобы обеспечить надежный, безопасный, быстрый и проверенный выбор для построения надежных операционных систем, обрабатывающих конфиденциальную информацию. Он был развернут в оборонной и аэрокосмической параметры.

seL4 безопасности применяет в системе componentised архитектуры путем обеспечения изоляции между надежной и ненадежной системы компонентов, и тщательно контролируя доступ программного обеспечения к аппаратным устройствам в системе.

Новый фундамент seL4 будет проходить под председательством одного из оригинальных разработчиков микроядра, в Территория смыслов профессор Гернот Хайзер из Нового Южного Уэльса в Сиднее и Data61.

“Речь идет о принятии экосистемы seL4 на следующий уровень”, – сказал Хайзер.

“В то время как расширение сообщества вкладчиков и усыновителей, мы будем продолжать эволюцию ядра и исследований, что гарантирует, что он останется в мире самые передовые технологии ОС”.

Фонд Linux говорит о работе нового фонда seL4 будет “Парамаунт” в обеспечение авионики, автономные транспортные средства, медицинские приборы и критической инфраструктуры от кибератак.

Майкл Долан, вице-президент стратегических программ Фонда Linux, заявил, что будет поддерживать рост и развитие сообщества seL4 это “путем предоставления экспертных знаний и услуг, направленных на повышение вовлеченности сообщества, авторы и последователи”.

“Открытое государственное управление, основанное на стандартах модель станет нейтральной, зрелым и надежным рамкам для содействия операционной системы, готовый к развертыванию и оптимизирован для безопасности”, – сказал Долан.

Другие спонсоры и члены фонда seL4 включить Нового Южного Уэльса в Сиднее, кибер-точнее, призрак движения, системы Винтик, и DornerWorks.

seL4 по 12,000 строк кода на C будут доступны на GitHub.

Она работает на различных аппаратных платформах, включая x86, и x86-64, ARM и RISC-архитектуры-В. seL4 также может работать на виртуальных машинах для поддержки устаревшего программного обеспечения.

ОСТАВЬТЕ ОТВЕТ

Please enter your comment!
Please enter your name here