Awesome GitHub RepositoriesMicrokernel Architectures

XNU هي نواة نظام تشغيل هجينة تجمع بين بنية النواة الدقيقة وطبقة متجانسة لخدمات النظام. توفر أساساً لتطوير نظام التشغيل، وتدمج واجهات استدعاء النظام القياسية، وإطار عمل تعريف جهاز معياري، وأمن التحكم في الوصول الإلزامي. تتميز البنية بنواة دقيقة قائمة على Mach وطبقة متجانسة قائمة على BSD. تستخدم ناقل تواصل بين العمليات قائم على تمرير الرسائل لتبادل البيانات الآمن بين مكونات النواة المعزولة وعمليات مساحة المستخدم، إلى جانب إطار عمل تعريف موجه للكائنات يفصل المنطق الخاص بالأجهزة عن النواة الأساسية. يتضمن النظام محرك تحكم في الوصول إلزامي لفرض الأمن القائم على السياسة ومصحح أخطاء نواة بعيد لفحص الذاكرة الحية وتحليل ذعر النظام. تغطي القدرات الإضافية جدولة المعالجات المتعددة، وتنسيق موارد الأجهزة، ونظام بناء لتوليد صور قابلة للتمهيد عبر بنيات مختلفة. يوفر المشروع أدوات لإدارة بناء النواة، وتوليد رموز التصحيح، وإطار عمل للتحقق من استدعاء النظام.

TencentOS-tiny هو نظام تشغيل في الوقت الفعلي (RTOS) للمتحكمات الدقيقة، مصمم لإدارة جدولة المهام وتخصيص الموارد عبر وحدات الأجهزة المختلفة. يعمل كمنصة مدمجة ونواة معيارية لنشر البرمجيات التي تتطلب استجابة فورية على معماريات رقائق متنوعة. يتضمن النظام حزم بروتوكولات مدمجة لتمكين نقل البيانات بشكل آمن والاتصال بين أجهزة إنترنت الأشياء (IoT) والمنصات السحابية. يغطي المشروع إدارة المهام في الوقت الفعلي، ونشر البرمجيات المدمجة، وإدارة المتحكمات الدقيقة. ويستخدم معمارية نواة دقيقة (microkernel) معيارية وطبقة تجريد للأجهزة (HAL) لفصل النواة عن رقائق محددة.

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

XNU is an operating system kernel designed to manage system hardware and process execution across different processor architectures. It utilizes a hybrid microkernel design that combines microkernel message passing with monolithic kernel performance by embedding critical subsystems into a single address space. The project implements a port-based asynchronous messaging system for communication between kernel tasks and userspace processes. It manages hardware interactions through a layered driver architecture and enforces system-wide security policies via a mandatory access control interface.