تغيير المظهر
نظام تشغيل مُثبت رياضياً — بُني ليكون المستقبل
المعمارية الرياضية والمبادئ الأساسية
المكونات المعزولة والعمليات المستقلة
نواة seL4 المُثبتة رياضياً
مكتبات النظام المكتوبة بـ Rust
التطبيقات فوق واجهة النظام
أدوات البناء والتشغيل والأتمتة
