📦 pkg-format

النوع: System Core  |  التسمية: pkg-format  |  تاريخ الإنشاء: 29 يونيو 2026 (13:12 GMT+3)  |  التقنيات: Bare-Metal, no_std, SVP, Packaging

نظرة عامة

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

الملفات البرمجية

Cargo.toml

src/lib.rs

← العودة إلى المكتبات