🔑 من يحق له التحدث مع نواة seL4؟

في seL4، لا استدعاء بدون Capability — رمز وصول رياضي لا يمكن تزويره

🔑 القاعدة: النواة لا تسأل "من أنت؟" بل "هل تملك الـ Capability الصحيحة؟"

← العودة للفلسفة المعمارية