⚙️ المقارنة المعمارية: Hisn-seL4 ضد Hubris OS
⚙️
Hubris OS
أنظمة مدمجة- ميكروكرنل خفيف بـ Rust: نظام طورته شركة Oxide Computer مبني بلغة Rust للاستفادة من مزايا حماية الذاكرة التي توفرها اللغة.
- كبسولات معزولة: يعزل المكونات داخل 'كبسولات' برمجية لمنع أي مكون من إسقاط النظام أو التعدي على مساحة الآخرين.
- للمتحكمات الدقيقة (Microcontrollers): مصمم خصيصاً للأنظمة المدمجة جداً ورقائق التحكم التي تفتقر غالباً لوحدة إدارة ذاكرة متقدمة (MMU).
- هدف هندسي محدد: صُمم ليكون 'جذر الثقة' (Root of Trust) داخل سيرفرات الشركة، وليس للاستخدام كنظام تشغيل عام.
VS
🛡️
Hisn-seL4
مثبت رياضياً- عزل عتادي كامل (MMU): يتجاوز العزل البرمجي ليستغل وحدة إدارة الذاكرة (MMU) في المعالجات القوية لفرض حواجز يستحيل اختراقها مادياً.
- الثقة بالرياضيات لا المترجم: Hubris يثق في مترجم لغة Rust؛ seL4-Vault يعتمد على الإثبات الرياضي المستقل عن أي لغة أو مترجم.
- نظام سطح مكتب للمستخدم: Hubris يعمل في الظل داخل السيرفرات؛ seL4-Vault يضع هذا المستوى من الأمان في واجهة رسومية أمامك مباشرة.
- مهام ثقيلة وحاويات معقدة: مصمم لتشغيل تطبيقات يومية (متصفح، مدير ملفات) داخل حاويات، وليس فقط مهام تحكم دقيقة.