Awesome GitHub RepositoriesVirtual Memory Mapping

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

هذا المشروع عبارة عن مجموعة من أنظمة التشغيل الدنيا، ومحملات الإقلاع (bootloaders)، ومشغلات الأجهزة المستخدمة لتوضيح برمجة أنظمة x86 منخفضة المستوى وربط الأجهزة. يعمل كمجموعة أدوات لتطوير النواة ومختبر لبرمجة الأنظمة مصمم لاختبار مفاهيم المعمارية وسلوك الأجهزة داخل محاكي النظام. يوفر المستودع تطبيقات مرجعية لإنشاء صور أقراص قابلة للإقلاع وتحميل مراحل النواة. يتضمن أدلة لتنفيذ انتقالات الوضع المحمي، وترقيم الذاكرة، وجداول وصف المقاطعات، والمعالجة المتعددة المتماثلة على أجهزة x86. تغطي قاعدة الكود مجموعة واسعة من بدائيات النظام، بما في ذلك تعيين الذاكرة الافتراضية، ومعالجة مقاطعات الأجهزة، واكتشاف الذاكرة الفعلية. كما يحتوي على مشغلات bare-metal لمكبر صوت الكمبيوتر، ولوحة مفاتيح PS/2، والمنافذ التسلسلية، ومخازن نصوص VGA المؤقتة. يتضمن المشروع سلسلة أدوات ثنائية خام لتجميع كود التجميع (assembly) في صور للتنفيذ المباشر على الأجهزة ويدعم الاختبار عبر محاكاة الأجهزة والتصحيح عن بُعد.

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

AsmJit هو مولد كود آلة في وقت التشغيل (Runtime) وخلفية مترجم JIT تترجم التعريفات عالية المستوى إلى تعليمات معالج قابلة للتنفيذ. يوفر واجهة برمجة تطبيقات موحدة لإصدار التعليمات ومديراً للذاكرة القابلة للتنفيذ لتخصيص وحماية صفحات الذاكرة الافتراضية عبر بنيات CPU متعددة. تعمل المكتبة كمحرك تجميع لـ x86 وARM، وتدعم توليد التجميع عبر المنصات من خلال خلفية موحدة. تتيح إنشاء كود آلة محسن لمعالجات مختلفة مع الحفاظ على قاعدة كود واحدة. يغطي المشروع تجريدات النظام منخفضة المستوى بما في ذلك تخصيص السجلات، واتفاقيات الاستدعاء الخاصة بالبنية، والأدوات الثنائية الديناميكية. يدير ترجمة التمثيلات الوسيطة إلى كود ثنائي باستخدام حل الإزاحة القائم على التسميات والإصدار المباشر إلى المخزن المؤقت.

This project is an educational framework and toolkit designed for developing and testing operating system kernels. It provides a structured environment for implementing fundamental system primitives, including virtual memory management, preemptive process scheduling, and filesystem organization, using Rust and C. The framework is specifically oriented toward RISC-V and x86 architectures, serving as a laboratory for learning how to build core system software from the ground up. The project distinguishes itself by supporting both bare-metal deployment and hardware emulation, allowing developers

embedded-notes هي مجموعة من أدلة الدراسة التقنية وملاحظات التطوير التي تركز على Linux المضمن، وداخلية نواة Linux، وبرمجة C. تعمل كمرجع لتطوير الأنظمة المضمنة ومورد تحضيري للمقابلات التقنية في هذا المجال. يوفر المشروع وثائق مفصلة حول كتابة برامج تشغيل الأجهزة، وإدارة الذاكرة الافتراضية، وفهم داخلية النواة. كما يتضمن أدلة حول بروتوكولات شبكة IoT، مثل MQTT وTCP/IP، ويحدد التفاصيل المعمارية لهياكل الرقائق والأجهزة الطرفية. تغطي المادة سطحاً واسعاً من برمجة الأنظمة، بما في ذلك إدارة الذاكرة اليدوية، وإدارة دورة حياة العمليات، وتنفيذ مفاهيم نظام التشغيل في الوقت الفعلي. كما تتضمن مراجع للأدوات منخفضة المستوى، مثل التجميع المتقاطع لـ ARM، وتحليل الثنائيات، وكتابة نصوص shell لأتمتة البناء.

rCore is a Rust-based operating system kernel and microkernel designed for Linux compatibility. It functions as a self-hosted development kit that implements a system call interface to support the execution of standard Linux userspace applications. The system is designed for modularity, featuring a mechanism for loading and integrating kernel modules into the active environment without requiring a system reboot. The kernel provides core operating system capabilities, including virtual memory mapping for process isolation, a disk-based file system for data persistence, and a layered network p

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

Varnish Cache is an HTTP reverse proxy and content accelerator designed to sit in front of web servers. It functions as a caching engine that stores frequently accessed web content in memory to reduce the processing load on backend origin servers and accelerate delivery times for end users. The software distinguishes itself through a domain-specific configuration language that compiles request-handling logic into machine-level bytecode for execution at wire speed. It utilizes a multi-threaded event loop to manage concurrent connections and employs shared-memory object storage alongside virtua