النواة والميكروكيرنل الأصلي (seL4 Microkernel)
النواة الصغرى المصنوعة بلغة C والمدعومة بإثباتات التحقق الرياضي الصارم (Formally Verified). تُشكل الأساس الأمني الصلب لنظام Heroban OS عبر توفير إدارة الذاكرة، والتجريد الأدنى، وقنوات الاتصال البدائية (IPC).
نوجه أسمى آيات الشكر والتقدير لمؤسسة seL4 Foundation وجميع الباحثين والمهندسين القائمين على هذا المشروع التاريخي الذي غير مفاهيم أمان نظم التشغيل ووضع معايير الأمان الرياضي المعزز في العالم.
أدوات بناء النواة ومُحمل الصور (seL4 Tools & Elfloader)
مجموعة الأدوات المساعدة الرسمية والمكونة من سكريبتات CMake و Python ومحمل الـ elfloader. تقوم هذه الأدوات ببناء وتجميع كود النواة، وتحويل ملفات الـ ELF، وتجهيز هيكل seL4_BootInfo لبدء تنفيذ أول مهمة في مساحة المستخدم (Root Task).
كل الشكر لفرق التطوير والأدوات في مجتمع seL4 لتوفير بيئة بناء متكاملة ومستقرة تسهل أتمتة تجميع صور الإقلاع.
مكتبات C الداعمة للنواة (seL4 C Support Libraries)
حزمة من المكتبات المساعدة المكتوبة بلغة C (مثل libsel4, libmuslc, libelf, libcpio). تُستخدم هذه المكتبات في مرحلة البناء والإقلاع الابتدائي لتوفير الهياكل الأساسية وتأمين متطلبات التجميع قبل الانتقال الكامل لبيئة Rust.
نقدر جهود مطوري مكتبات C الداعمة على تفانيهم في صيانة هذه المكتبات وتأمين توافقها العالي مع المعالجات المختلفة.
مكتبات التشفير الخارجية المعتمدة من مجتمع Rust (RustCrypto Crates)
حزمة من مكتبات التشفير الخارجية الموثوقة والمطابقة للمعايير العالمية، تعمل في بيئة no_std لتأمين أعلى مستويات حماية البيانات وأداء التشفير في جميع حاويات النظام:
libs/vault-crypto/Cargo.tomlخوارزمية تشفير المفاتيح التناظرية القياسية (AEAD) التي تجمع بين شفرة ChaCha20 وتوثيق Poly1305 لتشفير وحماية سرية بيانات الحاويات وتأمين الهوية.
libs/vault-crypto/Cargo.tomlالشفرة التدفقية السريعة (Stream Cipher) فائقة الأداء المستخدمة لتشفير التوافقات وتدفقات البيانات الحساسة بدون الاعتماد على مكتبات النظام standard.
libs/vault-crypto/Cargo.tomlالخوارزمية الرياضية فائقة السرعة لتوليد وتدقيق رمز توثيق الرسائل (MAC) للتحقق من سلامة المحتوى وحمايته من أي تلاعب في الذاكرة.
libs/vault-crypto/Cargo.tomlمكتبة التنفيذ بالزمن الثابت (Constant-Time Operations) التي تحمي خوارزميات التشفير من هجمات القنوات الجانبية (Side-Channel & Timing Attacks).
containers/tor/Cargo.tomlتنفيذ معيار التشفير المتقدم (Rijndael AES) المستخدم لتشفير وفك تشفير طبقات الخلايا في شبكة التوجيه البصلي Tor.
containers/tor/Cargo.tomlخوارزميات الهاش التلخيصي القياسية (SHA-256 / SHA-512) لبناء بصمات الهوية الإلكترونية وتأمين توقيعات شبكة Tor.
containers/tor/Cargo.tomlتشفير المنحنيات البيضاوية عالية الأمان المستخدمة لتنفيذ بروتوكول تبادل المفاتيح الآمن Diffie-Hellman أثناء فتح المسارات المعماة.
نعبر عن امتناننا العميق لمنظمة RustCrypto Org ولجميع المساهمين في مجتمع Rust التشفيري لتقديمهم مكتبات مفتوحة المصدر، فائقة الأداء، وآمنة الذاكرة جعلت التشفير المتقدم ممكناً على مستوى العتاد بدون نظام تشغيل تقليدي.
بيئة البوت والمحاكاة (Multiboot2 & QEMU Ecosystem)
حزمة معايير إقلاع Multiboot2 المحمولة ومحاكي العتاد الشامل QEMU. تتيح هذه الأدوات إمكانية بناء ملفات صور الـ ISO وإقلاع نظام Heroban OS وتجربته عبر المعالجات الحقيقية والأجهزة الافتراضية بنفس الكفاءة.
جزيل الشكر لمؤسسة Free Software Foundation ولمطوري QEMU و GRUB على تفانيهم في تطوير أفضل بيئات الإقلاع والمحاكاة في عالم البرمجيات الحرة.