🚁 المقارنة المعمارية: Hisn-seL4 ضد CrossOS
🚁
CrossOS
عسكري / حرج- مبني على seL4 أيضاً: طورته Galois بتمويل DARPA فوق seL4 بلغة Rust — شهادة من DARPA نفسها أن seL4 هو الأساس الوحيد للأنظمة العسكرية الحرجة.
- مغلوق وعسكري حصراً: مموّل لأغراض دفاعية أمريكية — مغلوق ومحتكر للعمليات العسكرية، لا يمكن لمطوّر عادي الوصول إليه أو التحقق منه.
- مصمم للطائرات المسيّرة فقط: يتألق في سيناريوهات الدرونز العسكرية — ليس نظام تشغيل للكمبيوتر الشخصي بأي حال، ولا تجد عنه وثائق عامة.
- مجهول للعامة: لا مجتمع مفتوح، لا وثائق علنية، تطوير في الخفاء — لا يمكن لأحد التحقق منه علنياً أو البناء فوقه.
VS
🛡️
Hisn-seL4
مثبت رياضياً- نفس الأساس بلا حدود: يشتركان في نواة seL4 — لكن Hisn-seL4 يأخذ هذا الأساس ويبنيه لسطح مكتب مفتوح لكل مستخدم لا لعمليات سرية.
- مفتوح وقابل للمراجعة: بخلاف CrossOS، كل شيء في Hisn-seL4 متاح علنياً — لا تثق بصندوق أسود، راجع الكود بنفسك.
- للمواطن لا للطائرات فقط: CrossOS للدرونز العسكرية — Hisn-seL4 يأخذ أمان DARPA العسكري ويضعه في سطح مكتب يحمي بياناتك وملفاتك اليومية.
- لا يحتاج لعقد DARPA: CrossOS يحتاج موافقة حكومية أمريكية — Hisn-seL4 متاح لكل مطوّر ومستخدم عادي مجاناً بدون أي قيود.