📜 Automation Scripts

سكربتات المشروع

مجموعة من السكربتات المتخصصة التي تُحكم دورة حياة المشروع بالكامل — من التهيئة حتى الإقلاع

🔁 Pipeline التنفيذ

⚙️

setup.sh

Environment Setup

01

يُهيّئ بيئة التطوير من الصفر — يثبّت المتطلبات الأساسية (Dependencies) ويجهّز مجلدات المشروع للعمل لأول مرة.

$ bash scripts/setup.sh

↓

⬇️

fetch.sh

Source Fetching

02

يُنزّل الشيفرة المصدرية لنواة seL4 والأدوات المساعدة من المستودعات الرسمية، ويجهّزها لعملية البناء.

$ bash scripts/fetch.sh

↓

🏗️

compile.sh

Rust Compilation

03

يُجمّع أكواد Rust الخاصة بالحاويات (مثل init) ويُحوّلها إلى ملفات تنفيذية خام Bare-Metal متوافقة مع بيئة no_std.

$ bash containers/init/compile.sh

↓

🔨

build.sh

Kernel Build

04

يبني نواة seL4 باستخدام CMake و Ninja، ويُجمّع مكتبة libsel4 التي تستخدمها الحاويات للتحدث مع النواة.

$ bash scripts/build.sh

↓

🚀

boot.sh

Launch 🟢

05

المشغّل الأساسي: يربط النواة مع حاوية init في ملف ISO قابل للإقلاع، ثم يُشغّله فوراً داخل بيئة QEMU الافتراضية.

$ bash scripts/boot.sh