📦 pkg-format
نظرة عامة
مكتبة pkg-format تُعرّف صيغة الحزم الخاصة بنظام seL4-Vault (SVP - seL4 Vault Package). هذه الصيغة تسمح بتغليف البرامج التنفيذية (ELF) مع بياناتها الوصفية (الاسم، الإصدار، الأيقونة، الصلاحيات) في ملف واحد (SVP). يُستخدم هذا التنسيق في PROGRAM_REGISTRY لتخزين تطبيقات النظام بشكل مضغوط وآمن داخل مساحة النواة، مما يسمح لـ init بقراءتها وإطلاقها كحاويات دون الحاجة لملفات منفصلة على القرص.