- Ядро и память
- Микроядерное направление. Ядро предоставляет общие механизмы управления памятью и жизненным циклом компонентов.
- GSL
- Язык проекта для ядра и служб. Текущий компилятор переводит GSL в C, который компилируется Clang.
- IPC и безопасность
- Изолированные компоненты обмениваются сообщениями через IPC. Испытания проверяют, что при завершении компонента система отзывает его полномочия и освобождает ресурсы.
- Графика
- В QEMU можно открыть «Хаб» и терминал. Следующий шаг для композитора — сохранённые поверхности и сведение оконных слоёв.