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

Для загрузки доступен пакет ( http://ertos.nicta.com.au/software/seL4/home.pyl) , включающий основанное на открытом проекте OKL4 микроядро seL4 в сборке для архитектур ARM11 и x86, документацию, библиотеки для создания приложений, примеры кода и специальный пара-виртуализированный вариант Linux. Все наработки проекта можно использовать свободно, но при условии некоммерческого применения.

Тянуто с Opennet.ru