تاريخ الإنجاز: 2026-06-23 — 23:25 GMT+3

التصنيف: Capabilities / Kernel API

بناء طبقة التخاطب الأساسية مع النواة وإرسال طلبات الـ IPC التي تسمح بتقطيع الذاكرة الخام وتحويلها إلى كائنات نظامية عبر seL4_Untyped_Retype. تم التغلب على تعقيدات تمرير الصلاحيات (Capabilities) في معمارية الـ CSpace الخاصة بـ seL4، واستخدام الـ IPC Buffer لتمرير الـ Extra Caps المطلوبة للـ Root CNode. نجحنا لأول مرة في تاريخ المشروع بخلق كائن ذاكرة جديد (بمساحة 4 كيلوبايت) من الذاكرة الخام وتخزينه في فتحة CNode جديدة، مما يثبت قدرتنا التامة على إنشاء وبناء الحاويات المستقبلية!