توثيق ملفات حاوية auth

🦀

src/main.rs

Entry Point

containers/auth/src/main.rs

~75 سطر

الملف الرئيسي لحاوية Auth_Vault. يحتوي على نقطة الدخول _start التي تُفوّض إلى rust_main، وحلقة الخدمة التي تستقبل طلبات التوثيق وتُولّد PolicyBadge مُشفَّرة.

🔍 أهم العناصر البرمجية

نقطة الدخول_start → rust_main()

Global AllocatorBumpAllocator

الأمر الوحيد0x100 (Request Token)

المعاملmr[1] = app_id (u16)

الردreply.mr[1] = badge.to_badge_word()

📋 الأقسام والوحدات

Capability Slots—Slot 0 = Own Endpoint | Slot 1 = FS_Vault (مستقبلاً)

PolicyBadge::new()—تُولّد badge بـ: app_id + Permission::ReadWrite + hash_path("/home/user")

السياسة الحالية—جميع التطبيقات تحصل على ReadWrite تلقائياً — Placeholder للإصدار القادم

معالجة الأخطاء—أي أمر مجهول يُعيد MessageTag::Err فوراً

📦

Cargo.toml

Package Config

containers/auth/Cargo.toml

~16 سطر

ملف إعداد حزمة auth. يُعرّف 4 اعتماديات — أكثر من أي حاوية أخرى بسبب احتياجها لـ BumpAllocator و security-policy.

🔍 أهم العناصر البرمجية

الاسمauth (v0.1.0)

إصدار Rustedition = "2024"

sel4-syspath = "../../libs/sel4-sys"

ipc-syncpath = "../../libs/ipc-sync"

bump-allocpath = "../../libs/bump-alloc"

security-policypath = "../../libs/security-policy"

📋 الأقسام والوحدات

Profile Release—opt-level = 3 | lto = true | panic = "abort"

⚙️

.cargo/config.toml

Build Config

containers/auth/.cargo/config.toml

~9 سطور

إعدادات البناء الخاصة بحاوية auth. تُحدد هدف الترجمة (Target) وخيارات الـ Linker اللازمة للعمل في بيئة seL4 بدون نظام تشغيل.

🔍 أهم العناصر البرمجية

Targetx86_64-unknown-none

relocation-modelpie (Position Independent Executable)

code-modelkernel

📋 الأقسام والوحدات

PIE Model—يسمح لـ seL4 بتحميل الحاوية في أي عنوان ذاكرة دون تعارض

Kernel Code Model—يُحسّن توليد الكود لبيئات ذات عناوين عالية كما يتوقعها seL4