🧱 المقارنة المعمارية: Hisn-seL4 ضد seL4CP
🧱
seL4CP
Microkernel- الإطار الرسمي من مؤسسة seL4: يستبدل CAmkES القديم بواجهة أبسط وأحدث — معتمد رسمياً لبناء الأنظمة الحرجة فوق seL4.
- للأنظمة المدمجة فقط: مصمّم للسيارات ذاتية القيادة والأجهزة الطبية — يعمل بدون واجهة مستخدم أو سطح مكتب، ليس للكمبيوتر الشخصي.
- إطار عمل لا نظام تشغيل جاهز: seL4CP أداة لبناء أنظمة، ليس نظاماً جاهزاً — يحتاج فريقاً هندسياً متخصصاً للبناء فوقه.
- مكتوب بلغة C تقليدياً: الإطار مكتوب بلغة C — رغم محاولات دمج Rust تدريجياً، لا يوفّر أمان الذاكرة للغة C حتى الآن.
VS
🛡️
Hisn-seL4
مثبت رياضياً- نفس الأساس + سطح مكتب جاهز: يشتركان في مؤسسة seL4 وفلسفته — لكن Hisn-seL4 يبني فوقه تجربة سطح مكتب متكاملة لا مجرد إطار عمل.
- جاهز للاستخدام الفوري: seL4CP يحتاج فريق هندسياً لبناء النظام — Hisn-seL4 نظام تشغيل متكامل بواجهة رسومية جاهز من اليوم الأول.
- يسد فجوة الكمبيوتر الشخصي: seL4CP يخدم السيارات والأجهزة الطبية — Hisn-seL4 يخدم الفراغ الأكبر: كمبيوتر شخصي آمن بأمان عسكري.
- Rust من البداية: Hisn-seL4 مكتوب بلغة Rust بالكامل — أمان الذاكرة مضمون على مستوى اللغة + إثبات رياضي للنواة، طبقتان من الحماية بدل طبقة واحدة.