# 01
sel4-sys
seL4 Low-Level Binding
ربط المستوى المنخفض مع نواة seL4. تُوفر نداءات النظام اللازمة للتواصل مع الـ Kernel واستخدام هيكل بيانات الإقلاع seL4_BootInfo وتوجيه رسائل الـ IPC عبر الـ Endpoints.
# 02
ipc-sync
Internal IPC Library
مكتبة داخلية لتوحيد بناء هياكل IpcMessage ولف عمليات Receiver.serve() بطريقة آمنة وبسيطة. تُعامل مع تفاصيل الـ seL4 IPC Buffer بشكل شفاف.
# 03
bump-alloc
Dynamic Memory Allocator
Bump Allocator بسيط وسريع كـ Global Allocator لبيئة no_std. يسمح لـ auth باستخدام هياكل بيانات ديناميكية مثل Vec و Box عبر extern crate alloc، وهو ما يُميّزها عن حاويات أبسط كـ bus.
# 04
security-policy
Shared Security Library
المكتبة الأهم في المنظومة الأمنية — تُعرّف هيكل PolicyBadge الذي تُصدره auth وتتحقق منه FS_Vault. تحتوي على: دالة hash_path() بخوارزمية FNV-1a 32-bit، ونوع Permission (None/ReadOnly/ReadWrite)، ودالة to_badge_word() لترميز الكل في 64-bit واحد.