The Lions Operating System
LionsOS — это операционная система, основанная на микроядре seL4, разрабатываемая исследовательской группой Trustworthy Systems из UNSW Sydney в Австралии. Система находится в активной стадии разработки и пока не стабильна, но уже доступна для экспериментов. Её цель — сделать достижения seL4 (производительность, безопасность и надёжность) более доступными через набор составных компонентов для создания кастомных ОС под конкретные задачи.
Компоненты системы объединяются с помощью инструмента Microkit и следуют нескольким ключевым принципам: соединение через блокирующие очереди, выполнение одной функции на компонент (драйверы преобразуют интерфейс оборудования в очереди), использование виртуализаторов для мультиплексирования, минимальное разделение информации и статичность системы. Проект приветствует вклад сообщества, особенно в разработку новых компонентов.