⚙️ sel4-sys

النوع: System Core  |  التسمية: sel4-sys  |  تاريخ الإنشاء: 23 يونيو 2026 (17:21 GMT+3)  |  التقنيات: Bare-Metal, no_std, x86_64

نظرة عامة

مكتبة sel4-sys هي اللبنة الأساسية الأولى في نظام Hisn-seL4 بالكامل (المكتبة رقم 1 زمنياً والمؤسسة للنظام). تم تصميمها وكتابتها يدوياً من الصفر 100% بدون الاستعانة بأي أدوات توليد تلقائي (مثل bindgen).
الهدف من هذه المكتبة هو توفير تحكم أمني مطلق وفهم عميق جداً لكل استدعاء نظام (Syscall) ونداء (Invocation) يتم تمريره من بيئة Rust الآمنة إلى نواة seL4 المكتوبة بـ C، عبر التخاطب المباشر مع سجلات المعالج (Registers) باستخدام الـ Assembly المضمن.

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

Cargo.toml

src/lib.rs

src/invocations.rs

src/types/types_01.rs

src/types/types_02.rs

src/invocations/invocations_03.rs

src/syscalls.rs

src/syscalls/syscalls_01.rs

src/syscalls/syscalls_02.rs

src/invocations/invocations_01.rs

src/invocations/invocations_02.rs

src/types.rs

src/invocations/invocations_04.rs

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