Awesome GitHub RepositoriesKernel Emulation Environments

Darling is a translation layer that enables the native execution of unmodified macOS binaries on Linux systems. It functions as a compatibility environment that maps macOS-specific system calls and environment variables to the host Linux kernel, allowing desktop applications to run without the need for full hardware virtualization or emulation. The project achieves this by implementing a user-space kernel emulation environment that intercepts and translates kernel traps into their Linux equivalents. It includes a custom loader for binary files that resolves dependencies against open-source im

This is a collection of academic programming projects that accompany an operating systems textbook, designed to teach core OS concepts through hands-on implementation. The projects span the major subsystems of an operating system, including process scheduling, memory management, file systems, and concurrency, with students building components from scratch in a simulated environment. The projects are structured to cover the full range of OS internals, from low-level kernel development to user-space system programming. Students implement lottery-based CPU schedulers, dynamic heap memory allocat

Asterinas هو نواة نظام تشغيل آمنة للذاكرة مصممة لمنع سباقات البيانات وتلف الذاكرة. تعمل كنواة متوافقة مع Linux-ABI، مما يتيح تنفيذ ملفات Linux الثنائية الحالية وأحمال عمل الحاويات مع توفير نموذج توزيع نظام تشغيل تصريحي. يتميز المشروع بكونه مضيف حاويات آلة افتراضية ونظام تشغيل ضيف للحوسبة السرية، مما يسمح له بالعمل داخل بيئات تنفيذ موثوقة معزولة بالأجهزة مثل Intel TDX. ينفذ قاعدة حوسبة موثوقة دنيا عن طريق عزل العمليات غير الآمنة منخفضة المستوى ويفصل آليات النواة الأساسية عن تنفيذات السياسات المحددة. يغطي النظام مجموعة واسعة من القدرات، بما في ذلك إدارة الذاكرة الفيزيائية والافتراضية، والمعالجة المتعددة المتماثلة، وتجريد الأجهزة لمختلف معماريات CPU. كما يتضمن دعمًا لأوقات تشغيل الحاويات الآمنة، ومجموعة شاملة من بدائيات الشبكات والمقابس (sockets)، وسلسلة أدوات متخصصة لتجميع النواة والمحاكاة. يدعم المشروع النشر متعدد المعماريات عبر منصات x86-64 و RISC-V 64 و LoongArch 64.

يوفر هذا المشروع بيئة تطوير لنواة Linux ومجموعة محاكاة نظام لبناء وتصحيح وحدات النواة وتجميع الـ baremetal عبر بنيات أجهزة متعددة. يعمل كبيئة تجريبية وإطار عمل شامل لتطوير النظام منخفض المستوى، باستخدام QEMU لمحاكاة بيئات الأجهزة دون الحاجة إلى أجهزة مادية. تدمج البيئة سلاسل أدوات التجميع المتقاطع باستخدام Buildroot و crosstool-NG لاستهداف منصات x86_64 و ARMv7 و ARMv8 من مضيف واحد. وتتميز بإطار عمل متخصص لتصحيح أخطاء النواة يستفيد من GDB و KGDB للتنفيذ خطوة بخطوة وفحص حالة كل من عمليات النواة ومساحة المستخدم. تشمل القدرات الواسعة اختبار الانحدار التلقائي لعزل فشل التمهيد والوظائف من خلال تقسيم التحكم في الإصدار، وتجريد الأجهزة لإدارة حالات طاقة وحدة المعالجة المركزية وسجلات النظام، وبدائيات اختبار منخفضة المستوى لسلامة حالة الذاكرة وتحليل التجميع. يتضمن النظام أيضاً أدوات لقياس أداء الأوامر، وتسجيل المخرجات، وتشغيل مساحة العمل المعبأة في حاويات.