🖥️ المقارنة المعمارية: Hisn-seL4 ضد OS/2
🖥️
OS/2
كلاسيكي / تاريخي- هجين IBM وMicrosoft: صراع الشركتين في تصميمه أفضى لقرارات معمارية متضاربة — نظام يحمل أهداف طرفين متعارضين في نواة واحدة.
- رائد Protected Mode والـ 32-bit: كان متقدماً على Windows آنذاك — لكنه بقي نواة أحادية ضخمة وكل الحماية مبنية على طبقات برمجية لا عزل حقيقي.
- التوافق على حساب الأمان: أبقى توافقاً مع DOS وWindows القديمة — مما أبقى ثغرات أنظمة الثمانينات حية داخله.
- مات في السوق: رغم تفوقه التقني على Windows 95، انتهى به الحال للنسيان — التميز التقني لا يكفي بدون نظام بيئي.
VS
🛡️
Hisn-seL4
مثبت رياضياً- نواة دقيقة لا أحادية: الفكرة التي لم يصلها OS/2 — عزل كل مكون في حاوية مستقلة بدل دفنه في نواة واحدة ضخمة.
- لا أعباء التوافق: Hisn-seL4 بُني من الصفر دون تنازلات للتوافق مع عقود قديمة — الأمان أولاً وأخيراً.
- تجاوز Protected Mode: حماية OS/2 كانت في مستوى الذاكرة فقط — seL4 يحمي بإثبات رياضي كامل يشمل النواة والمنطق والتحكم بالوصول.
- مفتوح وقابل للحياة: OS/2 مات لأنه مقيّد بشركة واحدة — Hisn-seL4 مفتوح المصدر وقابل للتطور والمراجعة العلنية إلى أجل غير مسمى.